M.J. Oudshoorn and C.D. Marlin. Language definition and implementation. Australian Computer Science Communications, Volume 11, Number 1, pages 26--36, February 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to each other by any axioms, we can now state that this specification of an infinite buffer is sufficiently complete and consistent. It is important to point out that Mallgren s notation focuses primarily on the high level routines. This makes it amenable to use in language description and design [26], where we desire a view of the shared object from the perspective of the processes which use the object, without the detail of the sequence of ADT operations and synchronization events which the high level routines may entail. Two kinds of table data structures are also required for the model of ....

....model discussed in this paper will be described next. These primitives frequently take one or more arguments; these arguments can be regarded as being transmitted according to the familiar value transmission mechanism. The primitives could be defined formally using an approach similar to that of [22, 25, 26]. In order to return information from event descriptions, we introduce the primitive return(B, X) The first parameter, B , is a boolean value that indicates if the rendezvous completed successfully, and the second parameter, X , is any information that needs to be returned to the calling task. ....

M.J. Oudshoorn and C.D. Marlin. Language definition and implementation. Australian Computer Science Communications, Volume 11, Number 1, pages 26--36, February 1989.

....of the information structures. The interpreter constructs the information structures as described in the model and applies the relevant transformation when the language construct is encountered during the symbolic execution of a program of the language concerned. This system is called ATLANTIS [19], A Tool for LANguage definiTion and Interpreter Synthesis. The ATLANTIS system has been developed as part of a long term project on language design techniques and tools. A methodical approach to language design has been developed [15] which has been applied in many situations and yields a ....

....way as that for ADTs and further discussion is omitted from this paper for further details the interested reader is referred to [4] It is important to point out that Mallgren s notation focuses primarily on the high level routines. This makes it particularly useful for language description [19], where we require an abstract view of the shared object from the perspective of the processes which use the object, without needing to consult the detail of the sequence of ADT operations and synchronization events which invocation of the high level routines may entail. As mentioned in the ....

[Article contains additional citation context not shown here]

M.J. Oudshoorn and C.D. Marlin. Language definition and implementation. Australian Computer Science Communications, Volume 11, Number 1, pages 26--36, February 1989.

No context found.

M.J. Oudshoorn and C.D. Marlin, Language Definition and Implementation. Australian Computer Science Communications, 11(1):26-36, Feb. 1989.

....it, are typically defined with much less precision than that which is used when synthesizing semantic descriptions from them. One way to increase the precision of the specification of these primitives is to employ algebraic specifications of abstract data types (ADT s) as demonstrated in [12, 13]. The model in this paper, and the work described in [11, 12, 13] is based on regarding the notion of program state involved in an information structure model as an ADT; this ADT and its associated primitive operations are then specified algebraically, thus significantly increasing the precision ....

....that which is used when synthesizing semantic descriptions from them. One way to increase the precision of the specification of these primitives is to employ algebraic specifications of abstract data types (ADT s) as demonstrated in [12, 13] The model in this paper, and the work described in [11, 12, 13], is based on regarding the notion of program state involved in an information structure model as an ADT; this ADT and its associated primitive operations are then specified algebraically, thus significantly increasing the precision of the resulting operational semantic model. Algebraic ....

[Article contains additional citation context not shown here]

M.J. Oudshoorn and C.D. Marlin. Language definition and implementation. Australian Computer Science Communications, Volume 11, Number 1, pages 26--36, February 1989.

....the model. 3) Finally, we plan to be able to generate the inter tool communication aspects of tool integration frameworks from the semantic descriptions written in terms of our model, in an analogous manner to that used for generating programming language implementations from similar descriptions [22,23]. This would, for example, enable the generation of an implementation of some proposed new set of devices designed as a result of the process described in (2) to be tested in practice, and then further refined. Acknowledgments The work described in this paper has been supported from a number of ....

M.J. Oudshoorn and C.D. Marlin. Language definition and implementation. Australian Computer Science Communications, Vol. 11, No. 1, 1989, pp. 26-36.

....much less precision than that which is used when synthesizing semantic descriptions from them. One way to increase the precision of the specification of these primitives is to employ algebraic specifications of abstract data types (ADT s) 3,4,5] The model in this paper, and the work described in [9,10], is based on regarding the notion of program state in an information structure model as an ADT; this ADT and its associated primitive operations are then specified algebraically, significantly increasing the precision of the resulting operational semantic model. Algebraic specifications of ADT s ....

....in their manipulation of the information structures. These primitives frequently take one or more arguments, which can be regarded as being transmitted according to the familiar value transmission mechanism. The primitives can be defined formally using an approach similar to that used in [9,10]. In order to return information from event descriptions, we introduce the primitive return(B, X) The first parameter, B , is a boolean value that indicates if the rendezvous completed successfully, and the second parameter, X , is any information that needs to be returned to the task ....

M.J. Oudshoorn and C.D. Marlin. Language definition and implementation. Australian Computer Science Communications. Volume 11, number 1, pages 26--36, February 1989.

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