Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

COBOL


Citation: M. Vale, "The Evolving Algebra Semantics of COBOL. Part 1: Programs and Control." University of Michigan EECS Department Technical Report CSE-TR-162-93.
Summary: An ASM for the control constructs of COBOL is described in full. A series of ASMs which describe all of COBOL is sketched.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: