Related Books
Language: en
Pages: 257
Pages: 257
Type: BOOK - Published: 2012-09-08 - Publisher: Springer Science & Business Media
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio
Language: en
Pages: 513
Pages: 513
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Language: en
Pages: 616
Pages: 616
Type: BOOK - Published: 1990 - Publisher: Addison-Wesley Professional
Language: en
Pages: 389
Pages: 389
Type: BOOK - Published: 2012-09-15 - Publisher: Springer Science & Business Media
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specificati
Language: en
Pages: 401
Pages: 401
Type: BOOK - Published: 2009-10-30 - Publisher: Springer Science & Business Media
Drawing Programs: The Theory and Practice of Schematic Functional Programming describes a diagrammatic (schematic) approach to programming. It introduces a soph
