Platform projection semantics extends projection semantics by means\ud of the encapsulation of a processor used for program execution. Platform\ud projection semantics abstracts from platform specific details. For a given\ud program its platform projection semantics may be platform-independent.\ud Two forms of platform projection semantics (PPS) are distinguished: behavioral\ud PPS and functional PPS. Using a combination of the two a formal\ud definition is obtained of compilers, interpreters, assemblers and program\ud portability
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.