Language Definition and Implementation (1989)

Cached

Download Links

by Michael Oudshoorn , Chris Marlin
Venue:Australian Computer Science Communications
Citations:6 - 4 self

Documents Related by Co-Citation

27 Coroutines: A Programming Methodology, a Language Design and an Implementation, Volume 95 of LNCS – - 1980
6 A Model of Communication in Ada using Shared Data Abstractions – - 1990
9 Modelling Communication and Synchronization in Parallel Programming Languages – - 1984
14 Formal specification of interactive graphic programming languages – - 1982
112 The algebraic specification of abstract data types – - 1978
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – - 1976
20 Notes on type abstraction (version 2 – - 1980
8 An Attribute Grammar for the Semantic Analysis of Ada, volume 139 of LNCS – - 1982
6 Using abstract data types in a model of the data control aspect of programming languages – - 1985
3 Modelling Communication in Ada with Shared Data Abstractions – - 1998
2 Software Engineering Environments: classifications and models – - 1993
2 Comparing communication in two languages employing buffered message-passing – - 1990
2 A Model for Communication in Programming Languages with Buffered Message Passing – - 1983
4 ATLANTIS: A tool for language definition and interpreter synthesis – - 1992
2 Interpretive language implementation from a layered operational model – - 1993
2 Generating an Implementation of a Parallel Programming Language from a Formal Semantic Definition – - 1992
2 The PCTE initiative and the Pact project – - 1988
13 Reference Model for Frameworks of Software Engineering Environments (Version 2 – - 1991
9 HP SoftBench: An Architecture for a New Generation – - 1989