Compiler Specification and Verification (Lecture Notes in Computer Science, 124)

Keywords

COMPILERS (COMPUTER PROGRAMS)COMPUTER SOFTWARE_VERIFICATION

1981Book

Author(s)W. Polak

PublisherSpringer

ISBN9783540108863

LanguageEnglish

Algebraic Semantics (Lecture Notes in Computer Science, 99)

Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)

Book

A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)

Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)

An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)

The Foundations of Program Verification (Series in Computer Science) (German Edition)

Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)

Computations in Higher Types (Lecture Notes in Mathematics, 574)

Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)