10 products were found matching your search for Algol in 1 shops:

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 variety of program­ ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel­ oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi­ tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.

Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1975. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1975. Ammareal gives back up to 15% of this item's net price to charity organizations.

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Some shelf, storage or usage wear present. The binding is tight and all pages are present. Includes dustjacket. The pages appear unmarked. Pictures available upon request. Individually inspected by Shadow. Thanks for supporting an independent bookseller!

A thoroughly updated and expanded edition brings this popular introductory text and reference up to date with the current Scheme standard, the Revised6 Report on Scheme.Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written for professionals and students with some prior programming experience, it begins by leading the programmer gently through the basics of Scheme and continues with an introduction to some of the more advanced features of the language. The fourth edition has been substantially revised and expanded to bring the content up to date with the current Scheme standard, the Revised6 Report on Scheme. All parts of the book were updated and three new chapters were added, covering the language's new library, exception handling, and record-definition features. The book offers three chapters of introductory material with numerous examples, eight chapters of reference material, and one chapter of extended examples and additional exercises. All of the examples can be entered directly from the keyboard into an interactive Scheme session. Answers to many of the exercises, a complete formal syntax of Scheme, and a summary of forms and procedures are provided in appendixes. The Scheme Programming Language is the only book available that serves both as an introductory text in a variety of courses and as an essential reference for Scheme programmers.

Contents: *Forward *Preface *The Emperor's old clothes *Quicksort *A contribution to the development of ALGOL *An axiomatic basis for computer programming *Proof of a program:Find *Procedures and parameters: an axiomatic approach *Compufer science *Proof of correctness of data representations *Proof of a structured program: the Sieve of Eratosthenes *A structured paging system *An axiomatic definition of the programming language Pascal *Monitors: an operating system structuring concept *Hints on programming-language design *Recursive data structures *Parallel programming: an axiomatic approach *Communicating sequential processes *A calculus of total correctness for communicating sequential processes *Programming is an engineering profession *A couple of novelties in the propositional calculus *Programs are predicates *The mathematics of programming *An overview of some formal methods for program design *Envoi *References *Bibliography of works by C.A.R. Hoare *Index

Sirius, Algol, Castor and Pollux, Mizar and Alcor: these names are well known to stargazers. But others ? Rasalhague, Vindemiatrix, Zubenelgenubi ? are obscure tongue twisters. Have you ever wondered where all these exotic-sounding star names came from? In this second, revised edition of Short Guide to Modern Star Names and their Derivations, Paul Kunitzsch and Tim Smart track down the origin and meaning of 254 star names. This fascinating work, long out of print, is considered to be the most authoritative English-language treatment of star names in use today.

A comprehensive treatment of the implementation of high-level programming languages, particularly modern languages such as ALGOL 60, ALGOL 68, Pascal, and Ada. Emphasizes the design of compilers as well as the practical aspects of compiler writing including lexical analysis, syntax analysis, use of symbol tables, storage allocation, and code generation. Identifies the features of particular languages and describes algorithms in an actual language (ALGOL 68). Includes practical exercises with solutions.

A thoroughly updated and expanded edition brings this popular introductory text and reference up to date with the current Scheme standard, the Revised6 Report on Scheme.Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written for professionals and students with some prior programming experience, it begins by leading the programmer gently through the basics of Scheme and continues with an introduction to some of the more advanced features of the language. The fourth edition has been substantially revised and expanded to bring the content up to date with the current Scheme standard, the Revised6 Report on Scheme. All parts of the book were updated and three new chapters were added, covering the language's new library, exception handling, and record-definition features. The book offers three chapters of introductory material with numerous examples, eight chapters of reference material, and one chapter of extended examples and additional exercises. All of the examples can be entered directly from the keyboard into an interactive Scheme session. Answers to many of the exercises, a complete formal syntax of Scheme, and a summary of forms and procedures are provided in appendixes. The Scheme Programming Language is the only book available that serves both as an introductory text in a variety of courses and as an essential reference for Scheme programmers.

Algol Press 1978 First Edition - Issued Without Dust Jacket (Later State - Stamped by the publisher ''second printing'' on copyright page) Fine Book Signed and Inscribed by the Author on the Title Page Probably one of a few hardback copies that were overruns of the 200 officially bound, so stamped by the publisher ''second printing'' on the copyright page. Includes fiction and nonfiction by Ellison and an autobiography, memoirs by Ted White, Robert Silverberg, David Gerrold, and Lee Hoffman, essay on his fiction by Joseph Patrouch, Jr., and a checklist of nonfiction.