Descartes(ID:7043/des013)

Super-high-level language based on Lavrov systems
Related languages
Descartes => SLON   strong Influence
References:
  • Babaev I.O., Novikov F.A. Petrushina T.I. - Language DESCARTES of the system SPORA - Applied informatics, 1, pp. 35-73, 1981 (in Russian) view details
  • "The Jubilee of Svyatoslav Sergeevich Lavrov" Programming and Computer Software, 29(4) July-August 2003, pp181?182 view details Extract: Descartes
    In 1977, Lavrov was appointed the director of the
    Institute for Theoretical Astronomy, USSR Academy of
    Sciences. There, he started developing a system with
    automatic program synthesis oriented at solving scientific
    and engineering problems. During that period, scientific
    interests of Lavrov shifted to formal methods, in
    particular, automated theorem proving. The specification
    of the Descartes super-high-level language based
    on the ideas of Lavrov was published in 1980. Descartes
    was different from other languages of that time in
    that it provided deep integration of the abstract data
    type concept, relational approach to data representation,
    and declarative specification of the problem area.
    Later, within the SPORA project, Lavrov proposed an
    original approach to formal description of semantics of
    declarative programming languages by means of firstorder
    predicate calculus without equality and function
    letters.