The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real comp

The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real comp

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representation

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It desc