Chris Marlin Michael Oudshoorn Department of Computer Science The University ...  Home/Search
Context Related
Links: ACM DBLP | adelaide.edu.au/users/mich...LNCS468.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Context of citations to this paper: More
...on certain data structures. The style of the model is based on previous work on the semantics of programming languages, such as that in [14 17]. The remainder of this section describes the information structures for the model and introduces primitives that will be used in the...
.... trying to simultaneously access the information structures; this layer employs shared data abstractions (SDAs) as described in [3, 19, 21, 23]. However, until the issues involved in the definition of parallel programming languages is more fully explored, it remains...
Cited by: More
Tailoring Integrated Software Engineering Environments using.. - Harvey, al. (1994) (Correct)
Describing the Semantics of Parallel Programming Languages.. - Michael Oudshoorn (Correct)
Generating an Implementation of a Parallel Programming.. - Oudshoorn Ransom (1992) (Correct)
Similar documents (at the sentence level):
24.5%: Modelling Communication in Ada with Shared Data Abstractions - Freidel, Marlin, Oudshoorn (1998) (Correct)
Active bibliography (related documents): More All
1.2: A Model of Intertask Communication in Ada - Chris Marlin (Correct)
0.9: Language Definition and Implementation - Oudshoorn, Marlin (1989) (Correct)
0.5: Comparing Inter-Tool Communication in Control-Centred Tool.. - Harvey, Marlin (1997) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: On the Multitasking Mechanisms of the Ada Language - Silberschatz (1980) (Correct)
0.1: Generating an Interpretive Language Implementation From a Layered .. - Marlin (Correct)
0.0: A Formal Model of the Ada Ravenscar Tasking Profile;.. - Lundqvist, Asplund.. (1999) (Correct)
Related documents from co-citation: More All
3: Modelling Communication and Synchronization in Parallel Programming Languages (context) - Freidel - 1984
3: operational model of data control in programming languages (context) - Oudshoorn, Marlin et al. - 1991
3: Initial algebra semantics and continuous algebras (context) - Goguen, Thatcher et al. - 1977
BibTeX entry: (Update)
Marlin, C. D. & Oudshoorn, M. J., A Model of Communication in Ada using Shared Data Abstractions, in Proc. Int. Conf. Computing and Information, 1990, Canadian Scholars' Press Inc. (also Lecture Notes in Computer Science, Vol 468, Springer-Verlag, pp 443-452). http://citeseer.ist.psu.edu/marlin90model.html More
@inproceedings{ marlin90model,
author = "Chris D. Marlin and Michael Oudshoorn and Dennis Freidel",
title = "A Model of Communication in Ada using Shared Data Abstractions",
booktitle = "International Conference on Computing and Information",
pages = "443-452",
year = "1990",
url = "citeseer.ist.psu.edu/marlin90model.html" }
Citations (may not include all citations):173 An initial algebra approach to the specification (context) - Goguen, Thatcher et al. - 1978
74 The algebraic specification of abstract data types (context) - Guttag, Horning - 1978 DBLP
13 Formal Specification of Interactive Graphics Programming Lan.. (context) - Mallgren - 1983 ACM
9 Modelling Communication and Synchronization in Parallel Prog.. (context) - Freidel - 1984 ACM
8 The Programming Language Ada Reference Manual (context) - of - 1983
8 An Attribute Grammar for the Semantic Analysis of Ada (context) - Uhl, Drossopoulou et al. - 1982
7 Volume 95 of Lecture Notes in Computer Science (context) - Marlin, Methodology et al. - 1980
6 Australian Computer Science Communications (context) - Oudshoorn, Marlin et al. - 1989
4 Describing data control in programming languages - Oudshoorn, Marlin - 1988
3 Data structure models for programming languages (context) - Wegner - 1971
3 Transactions on Software Engineering (context) - Guttag, type et al. - 1980
2 Systems and Research Center (context) - Inc, of et al. - 1979
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)
Advanced Software Engineering Environments - Oudshoorn, Brown (Correct)
Engineering Realistic Software in a University Environment - Oudshoorn, Brown, Maciunas (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