An experimental implementation

Utworzono: piątek, 26 czerwiec 2020 12:38

Poprawiono: piątek, 26 czerwiec 2020 12:38

Odsłony: 2902

Lingua-WU is a dialect of a virtual language Lingua described in the book A Denotational Engineering of Programming Languages. It is a strongly typed imperative language with functions, procedures, and procedural multirecursion.  WU stands for Warsaw University since the implementation of the language has been developed by two students of a course, which I gave in the Spring Semester 2019/2020 at the Department of Mathematics, Informatics, and Mechanics of Warsaw University. The description of the course at the site University Course Spring 2019/2020.

The implementation of Lingua-WU has been carried out by Marian Dziubiak and Tomasz Kamas under the supervision of prof. Aleksander Schubert. The implementation language was a functional language OCaml.