Programming languages considered as abstract data types

Authors:
J. Craig Cleaveland
Affiliations:
-
Venue:
ACM '80 Proceedings of the ACM 1980 annual conference
Year:
1980

Citing 5
Cited 0

An axiomatic basis for computer programming

Communications of the ACM
Advice on structuring compilers and proving them correct

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Theory of Programming Language Semantics

A Theory of Programming Language Semantics
Some transformations for developing recursive programs

Proceedings of the international conference on Reliable software
Towards a wide spectrum language to support program specification and program development

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

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).