Related Books
Language: en
Pages: 514
Pages: 514
Type: BOOK - Published: 1998-10-13 - Publisher: Cambridge University Press
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming lan
Language: en
Pages: 576
Pages: 576
Type: BOOK - Published: 2011-02-09 - Publisher: John Wiley & Sons
Between good intentions and great results lies a program theory not just a list of tasks but a vision of what needs to happen, and how. Now widely used in gover
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: 102
Pages: 102
Type: BOOK - Published: 2010-12-09 - Publisher: Springer Science & Business Media
The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever
Language: en
Pages: 544
Pages: 544
Type: BOOK - Published: 1991 - Publisher: SAGE
Foundations of Program Evaluationheralds a thorough exploration of the field of program evaluation--looking back on its origins. By summarizing, comparing, and