Tag #algol
14 papers:
ICALP-v2-2012-ReddyD #formal method- An Automata-Theoretic Model of Idealized Algol — (USR, BPD), pp. 337–350.
- ICALP-2005-MurawskiOW #equivalence #recursion
- Idealized Algol with Ground Recursion, and DPDA Equivalence (ASM, CHLO, IW), pp. 917–929.
FoSSaCS-2005-MurawskiW #decidability #higher-order- Third-Order Idealized Algol with Iteration Is Decidable (ASM, IW), pp. 202–218.
LICS-2002-Ong #decidability #equivalence- Observational Equivalence of 3rd-Order Idealized Algol is Decidable (CHLO), pp. 245–256.
- ICALP-2000-GhicaM #reasoning #regular expression #using
- Reasoning about Idealized ALGOL Using Regular Languages (DRG, GM), pp. 103–115.
- FoSSaCS-1999-RocklS #concurrent #process #semantics #π-calculus
- A π-calculus Process Semantics of Concurrent Idealised ALGOL (CR, DS), pp. 306–321.
- LICS-1996-Brookes #parallel
- The Essence of Parallel Algol (SDB), pp. 164–173.
POPL-1993-WeeksF #on the #orthogonal- On the Orthogonality of Assignments and Procedures in Algol (SW, MF), pp. 57–70.
- LICS-1987-Reynolds
- Conjunctive Types and Algol-like Languages (JCR), p. 119.
- POPL-1984-Halpern #axiom #hoare
- A Good Hoare Axiom System for an Algol-like Language (JYH), pp. 262–271.
- POPL-1984-Murtagh #memory management
- A Less Dynamic Memory Allocation Scheme for Algol-like Languages (TPM), pp. 283–289.
- ICALP-1979-Schwartz #axiom
- An Axiomatic Treatment of Algol 68 Routines (RLS), pp. 530–545.
VDM-1978-HenhaplJ - A Formal Definition of Algol 60 as Described in the 1975 Modified Report (WH, CBJ), pp. 305–336.
- ICALP-1974-Kandzia #on the #source code
- On the Most Recent Property of Algol-Like Programs (PK), pp. 97–111.
