A Formal System for Defining the Syntax and Semantics of Computer Languages (1969)


Download Links

by A Formal System , Henry Francis Ledgard , Henry Francis Ledgard

Active Bibliography

1 Păun: Universal P Systems: One Catalyst Can Be Sufficient – Rudolf Freund, Gheorghe Păun
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
Biologically-Motivated Machine Learning of Natural Language and Ontology A Computational Cognitive Model – David M W Powers
2 Creativity Support for Computational Literature – Daniel C. Howe - 2009
PRACTICES ARE BROUGHT INTO WORLD OF WARCRAFT Approved by: – N. Rosier, Dr. Celia Pearce Advisor, Dr. Anne Pollock, Dr. Brian Magerko
1 A coroutine approach to parsing – Hanan Samet - 1980
Programming Languages D. GRIES, Editor A Formalism for Translator Interactions – Jay Earley, Howard Sturgis
Symposium on Symbolic and Algebraic Manipulation – Alan J. Perlis, Thomas A. Standishttt, We Professor, Robert W. Floyd, L. Stephen Coles
652 An Efficient Context-Free Parsing Algorithm – Jay Earley - 1970
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
16 Algebraic Operational Semantics and Modula-2 – Yuri Gurevich, James M. Morris
JavaΩ: Higher Order Programming in Java – Marco Bellia, Maria Eugenia Occhiuto
JavaΩ: Higher Order Programming in Java – The Technical Complements – Marco Bellia, M. Eugenia Occhiuto
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
Investigation of the Possibilities for Interdisciplinary Co-operation by the Use of Knowledge-based System – Ágnes Szeghegyi, Ulrich H. Langanke
*-calculus and Combinatory Logic – unknown authors - 2001