Functional Programming Languages (Reinhold Heckmann)
For the Prospectra project,
I developed the functional transformation language TrafoLa.
The following five technical reports document
the design of TrafoLa.
-
Notes on TrafoLa, I:
A Proposal for the Syntactic Part
of the PROSPECTRA Transformation Language,
Prospectra report [S.1.6-SN-6.0], 17.2.1987
[Abstract]
[Paper.ps.gz
(20p, 36k, from troff, reformatted)]
-
Notes on TrafoLa, II:
The Objects of the Transformation Language
and the Operations upon them,
Syntax and Semantics of TrafoLa
Prospectra report [S.1.6-SN-7.0], 19.5.1987
[Abstract]
[Paper.ps.gz
(23p, 52k, from troff, reformatted)]
-
Notes on TrafoLa, III:
Semantics of Patterns,
Prospectra report [S.1.6-SN-8.0], 3.6.1987
[Abstract]
[Paper.ps.gz
(22p, 48k, from troff, reformatted)]
-
Notes on TrafoLa, IV:
Revision of the Previous Work,
Prospectra report [S.1.6-SN-9.0], 5.10.1987
[Abstract]
[Paper.ps.gz
(8p, 18k, from troff, reformatted)]
-
Notes on TrafoLa, V:
Syntax and Semantics of TrafoLa,
Prospectra report [S.1.6-SN-10.0], 5.10.1987
[Abstract]
[Paper.ps.gz
(21p, 48k, from troff, reformatted)]
TrafoLa was presented at the ESOP conference.
-
A Functional Language for the Specification of Complex
Tree Transformations,
ESOP '88, Springer LNCS 300, 175 - 190 (1988)
[Abstract]
[Paper.ps.gz
(17p, 34k, from troff, reformatted)]
I developed a prototype implementation of TrafoLa
using C for the user interface and SML for the internals
of the interpreter.
This implementation is described in the following two reports.
-
Language Reference Manual
for relational TrafoLa-H (Version 1.5),
Prospectra report [S.1.6-R-14.0], 5.9.1988
[Abstract]
[Table of contents]
[Introduction]
[Paper.ps.gz (36p, 70k, from troff, reformatted)]
-
User Manual
for the TrafoLa-H-ML System (Version 1.5),
Prospectra report [S.1.6-R-15.0], 5.9.1988
[Abstract]
[Table of contents]
[Introduction]
[Paper.ps.gz (12p, 24k, from troff, reformatted)]
-
Inversion of Functions,
Prospectra report [S.1.6-R-21.0], 13.3.1989
[Abstract]
[Paper.ps.gz (35p, 68k, reformatted)]
-
With Georg Sander:
TrafoLa-H Reference Manual,
Chapter 8 in Part II of:
Program Development by Specification and Transformation,
Springer LNCS 680, 275 - 313 (1993)
[Abstract]
Reinhold Heckmann /
heckmann@absint.com