A Denotational Engineering of Programming Languages
Preprint version (improved and modified) by September 21st, 2021 Download
Preprint version by 2019 09 30 has been registered as DOI 10.13140/RG.2.2.27499.39201/3
Keywords: Set-theoretic denotational semantics, many-sorted algebras, three-valued predicate calculus, a denotational model of types, abstract syntax, concrete syntax, total correctness with clean termination, sound program-construction rules.
The book is so far the main contribution to the project and is devoted to two research areas:
Both methods are illustrated on an example of a virtual language Lingua. The first aspect of the book has been summarised in a paper described on the site On the development of a denotational model.
Nazwa firmy: Andrzej Blikle Doradca
Nr telefonu: +48 607 456 918
e-adres: andrzej.blikle@moznainaczej.com.pl
NIP 525 12 84 084