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

28 Coroutines: a programming methodology, a language design and an implementation – C D Marlin - 1980
274 An initial algebra approach to the specification, correctness, and implementation of abstract data types – Joseph A Goguen, James W Thatcher, Eric G Wagner - 1978
112 The algebraic specification of abstract data types – J Guttag, J J Horning - 1978
14 Formal specification of interactive graphic programming languages – W R Mallgren - 1982
6 A Model of Communication in Ada using Shared Data Abstractions – Chris Marlin, Michael Oudshoorn, Dennis Freidel - 1990
9 Modelling Communication and Synchronization in Parallel Programming Languages – D H Freidel - 1984
645 Systematic Software Development Using VDM – C B Jones - 1986
1423 A Discipline of Programming – E W Dijkstra - 1976
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985