Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
A practical introduction to denotational semantics
A practical introduction to denotational semantics
Formal Specifications of Programming Language: A Panoramic Primer
Formal Specifications of Programming Language: A Panoramic Primer
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
How to define a language using PROLOG
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Denotational semantics using horn concurrent transaction logic
ICLP'05 Proceedings of the 21st international conference on Logic Programming
| Hi-index | 0.00 |