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 tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

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

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

"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully distingui