Linear Projective Program Syntax

Publication date

2004-10

Authors

Bergstra, J.A.
Bethke, I.

Editors

Advisors

Supervisors

DOI

Document Type

Preprint
Open Access logo

License

Abstract

Based on an extremely simple program notation more advanced program features can be developed in linear projective program syntax such as conditional statements, while loops, recursion, use of an evaluation stack, object classes, method calls etc. Taking care of a cumulative and bottom up introduction of such complex features while providing appropriate projections into the lower levels of language development keeps all definitions rigorous and ensures a clear meaning of higher program constructs.

Keywords

object oriented programming, program algebra, program syntax, program semantics

Citation