M.J. OUDSHOORN, K.J. RANSOM and C.D. MARLIN Department of Computer Science,...  Home/Search
Context Related
| adelaide.edu.au/users/mich...TR9317.ps adelaide.edu.au/users/micha...ACSC92.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: adelaide.edu.au/us...publications (more) From: adelaide.edu.au/us...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ATLANTIS is a tool for the semi-automatic generation of interpretive language implementations from formal semantic definitions. This tool was originally designed to facilitate the implementation of sequential programming languages and the present paper describes how it has been adapted to also generate implementations of parallel programming languages. ATLANTIS is founded on a layered, information structure model and this paper examines the changes introduced into each layer of the model,... (Update)
Context of citations to this paper: More
...these features as the basis for a prototype implementation of a tool integration regime defined using the model. Following the work in [19 22], the automatic generation of a prototype will allow integrators to verify that the integration between tools that has been described...
...features as the basis for a prototype implementation of a tool integration regime defined using the model. Following the work of Oudshoom [14 17], the automatic generation of a prototype will allow integrators to experiment with various integration strategies to ensure that the...
Cited by: More
Tailoring Integrated Software Engineering Environments using.. - Harvey, al. (1994) (Correct)
Towards a formal description of tool integration frameworks.. - Harvey, Marlin (1995) (Correct)
Comparing Inter-Tool Communication in Control-Centred Tool.. - Harvey, Marlin (1997) (Correct)
Active bibliography (related documents): More All
1.5: Generating an Interpretive Language Implementation From a Layered .. - Marlin (Correct)
1.5: Describing the Semantics of Parallel Programming Languages.. - Michael Oudshoorn (Correct)
0.6: Modelling Communication in Ada with Shared Data Abstractions - Freidel, Marlin, Oudshoorn (1998) (Correct)
Similar documents based on text: More All
0.1: Language Definition and Implementation - Oudshoorn, Marlin (1989) (Correct)
0.0: Complete Rotations in Cayley Graphs - Heydemann, Marlin, Pérennes (Correct)
0.0: Results From The Trek Ultraheavy Collector - Weaver Westphal Price (Correct)
Related documents from co-citation: More All
3: Comparing communication in two languages employing buffered message-passing (context) - Marlin, Freidel - 1990
3: Interpretive language implementation from a layered operational model (context) - Oudshoorn, Marlin - 1993
3: Integration mechanisms in the Field environment (context) - Reiss - 1988
BibTeX entry: (Update)
M.J. Oudshoorn, K.J. Ransom and C.D. Marlin. Generating an implementation of a parallel programming language from a formal semantic definition. Australian Computer Science Communications, Vol. 14, 1992, pp. 641-654. http://citeseer.ist.psu.edu/oudshoorn92generating.html More
@misc{ oudshoorn92generating,
author = "M. Oudshoorn and K. Ransom and C. Marlin",
title = "Generating an implementation of a parallel programming language from a
formal semantic definition",
text = "M.J. Oudshoorn, K.J. Ransom and C.D. Marlin. Generating an implementation
of a parallel programming language from a formal semantic definition. Australian
Computer Science Communications, Vol. 14, 1992, pp. 641-654.",
year = "1992",
url = "citeseer.ist.psu.edu/oudshoorn92generating.html" }
Citations (may not include all citations):689 Systematic Software Development Using VDM - Jones - 1986
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
271 Yacc -- Yet Another Compiler Compiler - Johnson - 1975
221 Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
173 An initial algebra approach to the specification (context) - Goguen, Thatcher et al. - 1978
162 Programming in Modula (context) - Wirth - 1985
112 Initial Algebra Semantics and Continuous Algebras (context) - Goguen, Thatcher et al. - 1977
84 The Denotational Description of Programming Languages (context) - Gordon - 1979
74 The algebraic specification of abstract data types (context) - Guttag, Horning - 1978
28 GAG: A Practical Compiler Generator (context) - Kastens, Hutte et al. - 1982
18 The Vienna Development Method: The MetaLanguage (context) - Bjorner, Jones - 1978
13 Formal Specification of Interactive Graphics Programming Lan.. (context) - Mallgren - 1983
9 Modelling Communication and Synchronization in Parallel Prog.. (context) - Freidel - 1984
9 Lex -- A Lexical Analyser Generator (context) - Lesk - 1975
8 An Attribute Grammar for the Semantic Analysis of Ada (context) - Uhl, Drossopoulou et al. - 1982
6 Australian Computer Science Communications (context) - Oudshoorn, Marlin et al. - 1989
6 Using Abstract Data Types in a Model of the Data Control Asp.. (context) - Marlin, Oudshoorn - 1985
5 A Model of Communication in Ada using Shared Data Abstractio.. - Marlin, Oudshoorn et al.
3 Operational Model of Data Control in Programming Languages (context) - Oudshoorn, Marlin et al. - 1991
2 Formal Specification of Graphic Data Types (context) - Mallgren - 1982
2 Abstract Data Types: Converting from Sequential to Parallel (context) - Oudshoorn, Ransom et al. - 1991
1 Describing the Semantics of Parallel Languages Using Shared .. (context) - Oudshoorn, Marlin
Documents on the same site (http://www.cs.adelaide.edu.au/users/michael/publications.html): More
Conditional Task Scheduling on Loosely-Coupled Distributed.. - Oudshoorn, Huang (1997) (Correct)
A Model of Communication in Ada using Shared Data Abstractions - Chris Marlin (1990) (Correct)
Advanced Software Engineering Environments - Oudshoorn, Brown (Correct)
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