3 datasets found

CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers...

These are course notes on programming language formal descriptions and their use to build programming environments and to prove properties of these languages.

This is the manual for AS, an abstract syntax specification formalism. The main features of this formalism are modularity and support for second-order abstract...