Abstract

ions Chris Marlin & Michael Oudshoorn Department of Computer Science The University of Adelaide G.P.O. Box 498 Adelaide, S.A. 5001 Australia Dennis Freidel Hewlett Packard -- Colorado Networks Division 3404 East Harmony Road Fort Collins, Colorado 80525 U.S.A. Abstract Language-level concurrency is becoming more widely available in programming languages, placing parallel programming features in the hands of many programmers for the first time. Unfortunately, the precise semantics of these features is frequently not well understood, principally because of the informal way in which such features are described. Typical of such informal description techniques is the manner in which technical English is used in the Ada Language Reference Manual to define the tasking facilities of Ada. This paper describes a formal model of the intertask communication aspect of the programming langauge Ada. The model is an information structure model whose precision is based on the use of shared data a...

Citations