A Denotational Engineering of Programming Languages
Abstract
The book is devoted to two research areas: (1) Designing programming languages along with their denotational models. A denotational model of a language consists of two many-sorted algebras - an algebra of syntax and an algebra of denotations - and a (unique) homomorphism from syntax to denotations called the semantics of the language. (2) Designing sound program-constructors for languages with denotational models. In our approach programs syntactically contain their total-correctness specifications. A program is said to be correct if it is correct wrt its specification. A program-constructor is sound if given correct component-programs yields a correct resulting program. Both methods are illustrated on an example-language Lingua.
Cite
@article{arxiv.1905.01473,
title = {A Denotational Engineering of Programming Languages},
author = {Blikle Andrzej},
journal= {arXiv preprint arXiv:1905.01473},
year = {2019}
}
Comments
A preprint of a book; 340 pages. All comments will be highly appreciated. You may write to me on andrzej.blikle@moznainaczej.com.pl