Honeywell, Inc. Formal Definition of Ada. Interim Draft, Systems and Research Center, Honeywell Inc., Minneapolis, Minnesota, October 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modelling Communication in Ada with Shared Data Abstractions - Freidel, Marlin, Oudshoorn (1998) (Correct)
....constructs (such as process communication in CSP [14] see the commentary in [16] but they have also provided inadequate definitions for language designers and implementors. There has been a strong desire to formalize many aspects of programming languages (such as those described in [13, 15, 20, 30, 36, 38]) This desire has been partly motivated by improving the correctness of programs written in the languages concerned, and partly to delimit more clearly the semantics of various language features. Several methods have been used to specify these semantic aspects operational and denotational ....
Honeywell, Inc. Formal Definition of Ada. Interim Draft, Systems and Research Center, Honeywell Inc., Minneapolis, Minnesota, October 1979.
A Model of Communication in Ada using Shared Data Abstractions - Chris Marlin (1990) (Correct)
....and synchronization interact with the usual concepts of sequential programming languages. This paper presents a semantic model of the synchronization and communication within a rendezvous in Ada[12] these aspects of Ada have been described elsewhere in terms of less specific semantic models[6,11], which are less useful for making comparisons between languages. For examples of the application of our model to other parallel programming languages, the interested reader is referred to [1] The model is an information structure model[13] the semantics of language features is described in ....
Honeywell, Inc. Formal Definition of Ada. Interim Draft, Systems and Research Center, Honeywell Inc., Minneapolis, Minnesota, October 1979.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC