论文信息 - Algebraic specification of a compiler for a language with pointers - 字舞流文

Algebraic specification of a compiler for a language with pointers

van der | Emma Meulen | V. Der | E. Meulen

[1] Paul Klint,et al. The syntax definition formalism SDF—reference manual— , 1989, SIGP.

[2] Stéphane Kaplan,et al. Positive/Negative Conditional Rewriting , 1988, CTRS.

[3] Gregor von Bochmann,et al. A Sampler of Formal Definitions , 1976, CSUR.

[4] P.R.H. Hendriks,et al. Lists and associative functions in algebraic specifications : semantics and implementation , 1989 .

[5] Paul Klint,et al. Towards shorter algebraic specifications: a simple language definition and its compilation to PROLOG , 1988 .

[6] P.R.H. Hendriks,et al. ASF system user's guide , 1988 .

[7] Paul Klint,et al. ASF: an algebraic specification formalism , 1987 .

[8] P. R. H. Hendriks,et al. Type-checking mini-ML: an algebraic specification with user-defined syntax , 1987 .

[9] Paul Klint,et al. A syntax definition formalism , 1986 .

[10] Paul Klint,et al. Algebraic definition of a simple programming language , 1985 .