
doi: 10.3233/fi-1981-4202
The paper examines the properties of a compilation of sequential and parallel programs with respect to computational semantics, defined in the earlier paper of the present author “On the Semantics of Parallel Programs”. A compilation of sequential programs is defined and proved to be stable, i.e. the sets of results of an arbitrary program and the corresponding compiled program coincide. Next, a natural compilation of parallel programs is defined and shown not to be stable with respect to natural semantics: The compiled program may give the results which are not results of the source program. Other semantics are defined and it is proved that in those semantics the given compilation is stable. The main corollary states that for parallel programs with synchronizing tools, a compilation is stable in natural semantics.
Specification and verification (program logics, model checking, etc.), computational semantics, stable compilation, Theory of operating systems
Specification and verification (program logics, model checking, etc.), computational semantics, stable compilation, Theory of operating systems
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
