P. Naur. Revised Report on the Algorithmic Language ALGOL 60. Communications of the ACM, 3(5):299314, May 1960. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Unknown - Of Imperative Languages (Correct)
Models of Control and Their Implications for Programming Language .. - Sitaram (1994) (2 citations) (Correct)
Transition Assertions: A Higher-Order Logic Based Method for the.. - Coll (1997) (Correct)
A Unified Language Processing Methodology - Rus (2001) (Correct)
Revised^5 Report on the Algorithmic Language Scheme - Kelsey, (ed.), Clinger.. (1998) (Correct)
Specification Standards - A White Paper for the Center for High.. - Gunter (1996) (Correct)
Lazy Imperative Languages - Report on a Project to Examine the.. - Hertzman (1995) (Correct)
Thunks and the Lambda-Calculus - Hatcliff, Danvy (1993) (3 citations) (Correct)
Induction, Domains, Calculi: Strachey's Contributions to.. - Schmidt (1999) (Correct)
Fixed Point Calculus - Backhouse (2000) (5 citations) (Correct)
UKernel : A Uni cation Kernel - Benjamin Han Alon (Correct)
Formal Models for Aspect-Oriented Software Development - Skipper (2004) (Correct)
Component-based DSL Development - Cleenewerck (2003) (Correct)
Strategy Based Elimination of Design Flaws in Object--Oriented - Systems Adrian Trifu (Correct)
Context Free Grammar for Natural Language.. -.. (2003) (Correct)
Exogenous Quantum Logic - Mateus, Sernadas (2004) (Correct)
Component-based DSL Development - Cleenewerck (2003) (Correct)
UKernel : A Unification Kernel - Han, Lavie (2004) (Correct)
Names and Higher-Order Functions - Stark (1995) (29 citations) (Correct)
Reasoning about Quantum Systems - Mateus, Sernadas (Correct)
Partial Evaluation of Computation Process - An Approach to a.. - Futamura (1999) (107 citations) (Correct)
Game Semantics and Subtyping - Chroboczek (2003) (2 citations) (Correct)
Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) (Correct)
Revised^3 Report on the Algorithmic Language Scheme - Rees, (ed.), Clinger.. (1991) (190 citations) (Correct)
Semantics of Dynamic Variables in Algol-like Languages - Ghica (1997) (3 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC