Abstract
A programming language is described which is applicable to problems conveniently described by transformation rules. By this is meant that patterns may be prescribed, each being associated with a skeleton, so that a series of such pairs may be searched until a pattern is found which matches an expression to be transformed. The conditions for a match are governed by a code which also allows subexpressions to be identified and eventually substituted into the corresponding skeleton. The primitive patterns and primitive skeletons are described, as well as the principles which allow their elaboration into more complicated patterns and skeletons. The advantages of the language are that it allows one to apply transformation rules to lists and arrays as easily as strings, that both patterns and skeletons may be defined recursively, and that as a consequence programs may be stated quite concisely.
- 1 McCARTHY, J. Recursive functions of symbolic expressions and their computation by machine. Comm. ACM 8, 4 (1960), 184-195. Google ScholarDigital Library
- 2 --, ET aL. LISP 1.5 Programmer's Manual. MIT, Cambridge, Mass., 1962. Google ScholarDigital Library
- 3 BERKELEY, E. C., AND BOBROW, D. G. (Eds.) The Programmint Language LISP, its Operation and Application. Information International Inc., Cambridge, Mass., 1964.Google Scholar
- 4 YNGVE, V. H., ET AL. An Introduction to COMIT Programming. The MIT Press, Cambridge, Mass., 1963.Google Scholar
- 5 GUZMAN, A. CONVERT. Professional Thesis (Spanish), Instituto Politecnico National, Mexico City, 1965.Google Scholar
Index Terms
- CONVERT
Recommendations
The programming languages REC and convert
Two symbol manipulation languages are presented. REC (an acronym for Regular Expression Compiler) is a very compact language possessing a simple control structure. CONVERT is a pattern matching and substitution language well suited to problems whose ...
On validation of ATL transformation rules by transformation models
MoDeVVa: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and ValidationModel-to-model transformations constitute an important ingredient in model-driven engineering. As real world transformations are complex, systematic approaches are required to ensure their correctness. The ATLAS Transformation Language (ATL) is a mature ...
Affine Curvature Scale Space with Affine Length Parametrisation
The maxima of Curvature Scale Space (CSS) image have been used to represent 2D shapes under affine transforms. The CSS image is expected to be in the MPEG-7 package of standards. Since the CSS image employs the arc length parametrisation which is not ...
Comments