Related Books
Language: en
Pages: 36
Pages: 36
Type: BOOK - Published: 1993 - Publisher:
Abstract: "The consistency of the dynamic and static semantics for a small functional programming language was informally proved by R. Milner and M. Tofte. The
Language: en
Pages: 64
Pages: 64
Type: BOOK - Published: 1995 - Publisher:
Language: en
Pages: 220
Pages: 220
Type: BOOK - Published: 2002-04-03 - Publisher: Springer Science & Business Media
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Is
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 1994-07-28 - Publisher: Springer Science & Business Media
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings c
Language: en
Pages: 748
Pages: 748
Type: BOOK - Published: 2000 - Publisher: MIT Press
This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundatio
