CSM: Language Design

Debugging Functional Languages:

We propose an intuitive, source-oriented view of execution tracing for lazy functional languages. This portable implementation of trace generation is achieved through a combination of source code instrumentation preprocessing and trace postprocessing. We have also incorporated a sophisticated presentation for traces, and have generalised to more elaborate functional languages.

GRIT:

An extension of the Refine programming language (used as the basis of the Software Refinery reverse- and reengineering environment) to accommodate dynamic asserions and their set-and type-theoretic combinations.

Publications:

Bailes, P.A., The Hierarchical Development of a Generic Type Mechanism for Functional Languages, Journal of Computer Languages, vol. 15, no. 1, pp. 1-26, 1990.

Bailes, P.A., Tan, L., and Gong, M., Prototyping a Prototyping Tool, Proceedings of the 1990 Australian Software Engineering Conference, Sydney, May 1990.

Bailes, P.A., Gong, M., and Moran, A., The Design, Application and Implementation of a Denotationally- Universal Programming Language, Proceedings of the 14th Australian Computer Science Conference, pp. 47-1 - 47-11, Sydney, February 1991.

Bailes, P.A., Gong, M., and Moran, A., Why Functional Languages Really Need Parallelism, Proceedings 1993 International Conference on Computing and Information, Sudbury, pp.423-427, IEEE, 1993

Bailes, P.A., Chapman, M., Gong, M.and Peake, I., GRIT - an Extended Refine for More Executable Specifications, Proceedings 8th Knowledge-Based Software Engineering Conference, Chicago, pp. 123-132, IEEE, 1993

These projects were sponsored by the Australian Research Council.