Peter O'Hearn – författare
Visar alla böcker från författaren Peter O'Hearn. Handla med fri frakt och snabb leverans.
8 produkter
Algol-like Languages
Av Peter O'Hearn, Robert Tennent
Inbunden, 1996
1096 kr
Lägg i varukorg
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in …
Algol-like Languages
Av Peter O'Hearn, Robert Tennent
1996
1689 kr
Lägg i varukorg
In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volumes aims to review the attempts over recent years to use programming languages based on ALGOL 60, using Backus' original document as an introduction.
Algol-like Languages
Av Peter O'Hearn, Robert Tennent
Inbunden, 1996
1096 kr
Lägg i varukorg
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide …
Algol-like Languages
Av Robert Tennent, Peter O'Hearn
E-bok, 2013
1459 kr
Lägg i varukorg
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in …
Algol-like Languages
Av Peter O'Hearn, Robert Tennent
Häftad, 2011
1096 kr
Lägg i varukorg
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in …
Algol-like Languages
Av Peter O'Hearn, Robert Tennent
Häftad, 2013
1096 kr
Lägg i varukorg
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide …
Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Av Gary T. Leavens, Peter O'Hearn m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing …
Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Av Sriram K Rajamani, Peter O'Hearn m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
