A Denotational Engineering of Programming Languages

05/04/2019
by   Blikle Andrzej, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/06/2017

Fibred Computational Effects

Dependent types provide a lightweight and modular means to integrate pro...
07/04/2018

Program Language Translation Using a Grammar-Driven Tree-to-Tree Model

The task of translating between programming languages differs from the c...
06/09/2019

Whither Programs as Specifications

Unifying theories distil common features of programming languages and de...
02/20/2022

ExAIS: Executable AI Semantics

Neural networks can be regarded as a new programming paradigm, i.e., ins...
07/14/2017

Incremental Parametric Syntax for Multi-Language Transformation

We present a new approach for building source-to-source transformations ...
09/24/2021

ILA: Compilable Markdown for Linear Algebra

Communicating linear algebra in written form is challenging: mathematici...
12/12/2017

A Practical Approach for Detecting Logical Error in Object Oriented Environment

A programming language is a formally constructed language designed to co...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.