BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
ALGOL
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.
LICSLICS-1987-Reynolds
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.
FMVDM-1978-HenhaplJ
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.