BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Google ALGOL
Wikidata Q188436
WikipediaGerman ALGOL
WikipediaEnglish ALGOL
WikipediaFrench Algol (langage)
WikipediaDutch Algol (programmeertaal)
WikipediaRussian Алгол

Tag #algol

14 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.