Concurrent tree space transformation in the Aardappel programming language
Concurrent tree space transformation in the Aardappel programming language
It is perceived that one of the biggest problems in maintaining software quality is the above linear growth in complexity compared to the size of a program, resulting in the programmer's cognitive loss of an overview and ultimately the degradation of the quality of the software. This thesis tries to counter that by introducing a language with a new sharing model that makes dependencies in a program explicit at the language level, and local to one specific language construct (the tree space). We introduce the language which is based on tree rewriting and Linda style tuple spaces and comes with a graphical programming notation. We discuss the worth of its design, precisely specify it using a formal semantics, and report on experience with the model using a real world implementation.
University of Southampton
Van Oortmerssen, Wouter
04a1e579-d334-4f96-8a05-4a12d994031c
2000
Van Oortmerssen, Wouter
04a1e579-d334-4f96-8a05-4a12d994031c
Van Oortmerssen, Wouter
(2000)
Concurrent tree space transformation in the Aardappel programming language.
University of Southampton, Doctoral Thesis.
Record type:
Thesis
(Doctoral)
Abstract
It is perceived that one of the biggest problems in maintaining software quality is the above linear growth in complexity compared to the size of a program, resulting in the programmer's cognitive loss of an overview and ultimately the degradation of the quality of the software. This thesis tries to counter that by introducing a language with a new sharing model that makes dependencies in a program explicit at the language level, and local to one specific language construct (the tree space). We introduce the language which is based on tree rewriting and Linda style tuple spaces and comes with a graphical programming notation. We discuss the worth of its design, precisely specify it using a formal semantics, and report on experience with the model using a real world implementation.
Text
757868.pdf
- Version of Record
More information
Published date: 2000
Identifiers
Local EPrints ID: 464209
URI: http://eprints.soton.ac.uk/id/eprint/464209
PURE UUID: 4625dae5-8859-46d8-9dbb-8bee5f22511e
Catalogue record
Date deposited: 04 Jul 2022 21:34
Last modified: 16 Mar 2024 19:20
Export record
Contributors
Author:
Wouter Van Oortmerssen
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics