Linear Projective Program Syntax
Publication date
2004-10
Authors
Bergstra, J.A.
Bethke, I.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
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