Programming languages considered as abstract data types
J. Craig Cleaveland · 1980
This paper is an investigation of programming languages from the viewpoint of abstract data types. The elements of this abstract data type are programs or program segments and the operators are the grammatical rules of the grammar. Given this framework, the paper explores the algebraic axioms needed to define this programming language abstract data type (pladt).