References

1

P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Proceedings of the 3rd Symp. on Software Development Environments, Boston, USA, November 1988. Rapport de Recherche INRIA 777, Inria-Sophia-Antipolis, France, December 1987.

2

R. J. Boulton. Syn: A single language for specifying abstract syntax trees, lexical analysis, parsing and pretty-printing. Technical Report 390, University of Cambridge Computer Laboratory, Mar. 1996.

3

T. Despeyroux and A. Hirschowitz. Abstract syntax and induction : a theory. Draft, July 1996.

4

V. Donzeau-Gouge, G. Huet, G. Kahn, and B. Lang. Programming environment based on structured editors: The mentor experience. Technical report, Inria, July 1980.

5

V. Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, and J.-J. Levy. Programming environment based on structured editors: The mentor experience. In D. Barstow, H. Shrobe, and E. Sandewall, editors, Interactive Programming Environments. McGraw-Hill, 1984.

6

J. Hannan. Extended natural semantics. Journal of Functional Programming, 3(2):123-152, 1993.

7

G. Kahn, B. Lang, B. Mélèse, and E. Morcos. Metal: A formalism to specify formalisms. Science of Computer Programming, 3(2):151-188, 1983.

8

P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176-210, 1993.

9

B. Lang. The virtual tree processor. In J. Heering, J. Sidi, and A. Verhoog, editors, Generation of Interactive Programming Environments. CWI Report, May 1986.

10

G. Nadathur and D. Miller. An overview of Prolog. In K. A. Bowen and R. A. Kowalski, editors, Fifth International Logic Programming Conference, pages 810-827, Seattle, Washington, Aug. 1988. MIT Press.

11

G. Nadathur and F. Pfenning. The type system of a higher-order logic programming language. In F. Pfenning, editor, Types in Logic Programming, pages 245-283. MIT Press, 1992.

12

F. Pfenning. Elf: A meta-language for deductive systems. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, pages 811-815, Nancy, France, June 1994. Springer-Verlag LNAI 814. System abstract.