Platform projections, compilers, interpreters and portability

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