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.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
An intuitive grasp of the nature of variable declarations and of what is happening as one enters and exits from blocks is essential to programming in an ALGOL-like language. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
parametric functors, parametric logical relation, realizable functors, active free identifiers, parametricity condition, reasoning about local variables, free coalgebras, groupoid interpretation, stack descriptor, permeability rules, morphism part, passive tokens, type compl, identity extension lemma, relational parametricity, intrinsic preorder, naturality requirements, procedural phrases, reflexive graphs, store shapes, bracketing condition, closed subroutines, type comm, specification logic, syntactic control Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, New York, Algorithmic Languages, Principles of Programming Languages, Cambridge University Press, Computer Society Press, Prentice-Hall International, Non-Interference Abstraction, Concluding Remarks, Electronic Notes, International Conference, Strong Constancy, Acta Informatica, Algebraic Methods, Category-Theoretic Approach, John Reynolds, Mathematical Foundations of Programming Semantics, Syracuse University, Academic Press, Elsevier Science, Mac Lane, University of Cambridge, Kurt Sieber, Logics of Programs, Los Alamitos New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
An intuitive grasp of the nature of variable declarations and of what is happening as one enters and exits from blocks is essential to programming in an ALGOL-like language. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
parametric functors, parametric logical relation, realizable functors, active free identifiers, parametricity condition, reasoning about local variables, free coalgebras, groupoid interpretation, stack descriptor, permeability rules, morphism part, passive tokens, type compl, identity extension lemma, relational parametricity, intrinsic preorder, naturality requirements, procedural phrases, reflexive graphs, store shapes, bracketing condition, closed subroutines, type comm, specification logic, syntactic control Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, New York, Algorithmic Languages, Principles of Programming Languages, Cambridge University Press, Computer Society Press, Prentice-Hall International, Non-Interference Abstraction, Concluding Remarks, Electronic Notes, International Conference, Strong Constancy, Acta Informatica, Algebraic Methods, Category-Theoretic Approach, John Reynolds, Mathematical Foundations of Programming Semantics, Syracuse University, Academic Press, Elsevier Science, Mac Lane, University of Cambridge, Kurt Sieber, Logics of Programs, Los Alamitos New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 40
books:
See all 40 books this book cites
4
books
cite this book:
- Principles of Programming Languages (Prentice Hall International Series in Computing Science) by R. D. Tennent on 8 pages
- Semantics of Programming Languages (Prentice-Hall International Series in Computer Science) by R. D. Tennent on 6 pages
- Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, La, Usa, April 7-10, 1993 : Proceedings (Lecture Notes in Computer Science) by International Conference on the Mathematical Foundations of programmin on 5 pages
- The Craft of Programming (Prentice-Hall International Series in Computer Science) by John C. Reynolds on 5 pages
- Computer Science by Richard Jones on 4 pages
See all 40 books this book cites
- Higher Order Operational Techniques in Semantics (Publications of the Newton Institute) by Andrew D. Gordon in Front Matter, and page 273
- Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) by Gilles Barthe on page 412
- Research Directions in Parallel Functional Programming by Kevin Hammond on page 455
- Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, ... (Lecture Notes in Computer Science) by Catuscia Palamidessi on page 283
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
