0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do (Hardcover, 1990 ed.): Mads... Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do (Hardcover, 1990 ed.)
Mads Tofte
R2,931 Discovery Miles 29 310 Ships in 10 - 15 working days

This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators. As the title suggests, a realistic assessment of the relationship between the complexity of realistic compilation and the relative simplicity studied in theoretical work is attempted. The monograph contains an overview of existing compiler generators. The CERES '83 compiler generator, developed by Neil D. Jones and the author, is described in detail. The CERES system is based on the idea of composing language definitions and it serves as an example of a powerful novel "bootstrapping" technique by which one can generate compiler generators as well as compilers by considering a compiler generator to be, in a sense which is made mathematically precise, a special kind of compiler. The core of the CERES system is a two-page-long machine generated compiler generator. The approach uses ideas from denotational semantics and many-sorted algebra and connects them with novel ideas about how to treat programs and language definitions as data. Considerable effort has been made to present the necessary theory in a manner suitable for readers who have some practical experience but not necessarily a theoretical background in semantics.

Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do (Paperback, Softcover reprint... Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do (Paperback, Softcover reprint of the original 1st ed. 1990)
Mads Tofte
R2,733 Discovery Miles 27 330 Ships in 10 - 15 working days

This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators. As the title suggests, a realistic assessment of the relationship between the complexity of realistic compilation and the relative simplicity studied in theoretical work is attempted. The monograph contains an overview of existing compiler generators. The CERES '83 compiler generator, developed by Neil D. Jones and the author, is described in detail. The CERES system is based on the idea of composing language definitions and it serves as an example of a powerful novel "bootstrapping" technique by which one can generate compiler generators as well as compilers by considering a compiler generator to be, in a sense which is made mathematically precise, a special kind of compiler. The core of the CERES system is a two-page-long machine generated compiler generator. The approach uses ideas from denotational semantics and many-sorted algebra and connects them with novel ideas about how to treat programs and language definitions as data. Considerable effort has been made to present the necessary theory in a manner suitable for readers who have some practical experience but not necessarily a theoretical background in semantics.

The Definition of Standard ML (Paperback, revised edition): Robin Milner, Robert Harper, David MacQueen, Mads Tofte The Definition of Standard ML (Paperback, revised edition)
Robin Milner, Robert Harper, David MacQueen, Mads Tofte
R909 Discovery Miles 9 090 Ships in 10 - 15 working days

Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor.One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation.The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
1 Litre Unicorn Waterbottle
R70 Discovery Miles 700
Mixtape Automatic Folding Washing…
R890 R544 Discovery Miles 5 440
Succession - Season 4 - The Final Season
Brian Cox, Jeremy Strong, … DVD R399 R199 Discovery Miles 1 990
Bostik Double-Sided Tape (18mm x 10m…
 (1)
R31 Discovery Miles 310
Coolaroo Elevated Pet Bed (L)(Brunswick…
R990 R499 Discovery Miles 4 990
King Of Sloth - Kings Of Sin: Book 4
Ana Huang Paperback R280 R140 Discovery Miles 1 400
Teenage Mutant Ninja Turtles: Out of the…
Megan Fox, Stephen Amell, … Blu-ray disc R46 Discovery Miles 460
Tenet
John David Washington, Robert Pattinson Blu-ray disc  (1)
R52 R44 Discovery Miles 440
Mellerware Swiss - Plastic Floor Fan…
R371 Discovery Miles 3 710
Sony PlayStation Portal Remote Player…
R5,299 Discovery Miles 52 990

 

Partners