Platform projections, compilers, interpreters and portability
Files
Publication date
1999-12
Authors
Bergstra, J.A.
Loots, M.E.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
Platform projection semantics extends projection semantics by means
of the encapsulation of a processor used for program execution. Platform
projection semantics abstracts from platform specific details. For a given
program its platform projection semantics may be platform-independent.
Two forms of platform projection semantics (PPS) are distinguished: behavioral
PPS and functional PPS. Using a combination of the two a formal
definition is obtained of compilers, interpreters, assemblers and program
portability.