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