Concurrent tree space transformation in the aardappel programming language

Concurrent tree space transformation in the aardappel programming language

Bibliographic Details
Main Author:	Van Oortmerssen, Wouter
Published:	University of Southampton 2000
Subjects:	005 Visual programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.326374

Similar Items

Theories of translation correctness for concurrent programming languages
by: Millington, M.
Published: (1985)

A logic-based concurrent object-oriented programming language
by: Melendez, Rafael Ramirez
Published: (1996)

Reflective computation in concurrent object-based languages : a transformational approach
by: Yaacob, Norlaily
Published: (1999)

Communications in concurrent systems - programming language primitives and interconnection networks
by: Yantchev, Jelio Todorov
Published: (1992)

MC : A concurrent programming language for distributed computer systems
by: Rizk, A.
Published: (1986)

Speculative concurrent evaluation in a lazy functional language
by: Checkland, Iain Gavin
Published: (1994)

Debugging concurrent and distributed programs
by: Cooper, Robert Charles Beaumont
Published: (1987)

Interactive graphical support for sequential and concurrent programming
by: Man-Chi, P.
Published: (1985)

Typed concurrent programs : specification and verification
by: Nagarajan, R.
Published: (1999)

Evolution of a concurrent programming formalism
by: Rietti, G.
Published: (1980)

A concurrent visual language based on Petri nets
by: Usher, Michelle M.
Published: (1999)

A denotational semantics for concurrent ADA programs
by: Mearns, I.
Published: (1983)

Software maintenance by program transformation in a wide spectrum language
by: Bull, Tim
Published: (1994)

Compile-time analysis of concurrent logic programs for multiprocessors
by: King, Andrew Malcolm
Published: (1992)

Parallel implementation of concurrent logic languages using graph rewriting techniques
by: Papadopoulos, George Angelos
Published: (1989)

Deductive and algorithmic analysis of real-time concurrent Ada programs
by: Gerdsmeier, Thorsten
Published: (2001)

TAO - a model for the integration of concurrency and synchronisation in object-oriented programming
by: Mitchell, S. E.
Published: (1995)

Tools for algebraic program transformation
by: Merriam, Nicholas Andrew Van Ness
Published: (1995)

The specification and simulation of synchronous concurrent algorithms
by: Martin, Andrew Richard
Published: (1989)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

Effective meta-programming in declarative languages
by: Bowers, Antony Francis
Published: (1998)

Visual operations on generic data structures
by: Sinnamon, Neville David
Published: (1994)

The programming language Formian
by: Disney, Peter Lawrence
Published: (1989)

PED : A tree-oriented editor for programs
by: Lomax, A.
Published: (1983)

On the measurement of concurrent software designs
by: Rose, Julian H. M.
Published: (1992)

Fault-tolerant programming by transformations
by: Liu, Zhiming
Published: (1991)

Proving program refinements and transformations
by: Ward, Martin
Published: (1989)

A program transformation system
by: Maher, B.
Published: (1982)

Programming language design with polymorphism
by: Matthews, D. C. J.
Published: (1983)

The design and implementation of programming languages
by: Hughes, R. J. M.
Published: (1983)

Type assignment in programming languages
by: Damas, Luis
Published: (1984)

A categorical programming language
by: Hagino, Tatsuya
Published: (1987)

Formal analysis of concurrent programs
by: Armstrong, Alasdair
Published: (2015)

A system for developing programs by transformation
by: Feather, M. S.
Published: (1979)

Higher-order matching for program transformation
by: Sittampalam, Ganesh
Published: (2001)

On program transformation with ALGOL 68 and FLEX
by: Knott, R. D.
Published: (1980)

Findings a basis for matching programming languages to programming tasks
by: Petre, Marian
Published: (1989)

Separate compilation and the ADA programming language
by: Briggs, J. S.
Published: (1984)

Implementation and programming techniques for functional languages
by: Wray, S. C.
Published: (1986)

Modular grammars for programming language prototyping
by: Adams, Stephen Robert
Published: (1991)