Flexible Heterogeneous Software Systems

Abstract

ing from implementation details about the facts that there is such a thing as a parse tree format and that this format in turn is implemented using ATerms, it is easy to name several operations a tool-builder would like, given a syntax definition. As an example we consider the booleans again. Some of the typical things a toolbuilder would like to be able to do given the boolean syntax are: • Use a type definition for booleans (it is better to have a specific type Bool than to use the generic ATerm type); • Create the basic booleans: true and false; • Create a compound boolean term using basic and other compound boolean terms; • Given an arbitrary term, test if it is a valid boolean term; • Given an arbitrary boolean term, distinguish between a basic term and a compound term, e.g. by testing if it has a lhs or rhs;

25 Figures and Tables

Cite this paper

@inproceedings{PROEFSCHRIFT2006FlexibleHS, title={Flexible Heterogeneous Software Systems}, author={ACADEMISCH PROEFSCHRIFT and A. de Jong}, year={2006} }