Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
Computing: Professional & Programming
Lecture Notes in Computer Science
Series Part/Volume Number
Place of Publication
Country of Publication
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
48 Illustrations, black and white; X, 440 p. 48 illus.