Evolution of rule-based programs. (English) Zbl 1072.68027
Summary: The term “rule-based program” is meant to include definite clause programs, SOS specifications, attribute grammars, and conditional rewrite systems. These setups are widely used for the executable specification or implementation of language-based tools, e.g., interpreters, translators, type checkers, program analysers, and program transformations. We provide a pragmatic, transformation-based approach for expressing and tracking changes in rule-based programs in the course of program evolution. To this end, we design an operator suite for the transformation of rule-based programs. The operators facilitate steps for clean-up, refactoring, and enhancement. We use SOS-based interpreter examples to illustrate evolution of rule-based programs. We use logic programming to execute the examples, while the relevant evolution operators are made available as logic meta-programs.
References:
| [1] | H. Abramson, Definite clause translation grammars, in: Proceedings of the International Symposium on Logic Programming, IEEE, Computer Society Press, Atlantic City, 1984, pp. 233-241; H. Abramson, Definite clause translation grammars, in: Proceedings of the International Symposium on Logic Programming, IEEE, Computer Society Press, Atlantic City, 1984, pp. 233-241 |
| [2] | Attali, I.; Caromel, D.; Ehmety, S. O., A natural semantics for Eiffel dynamic binding, ACM Transactions on Programming Languages and Systems, 18, 6, 711-729 (1996) |
| [3] | S.R. Adams, Modular grammars for programming language prototyping, PhD thesis, Department of Electronics and Computer Science, Faculty of Engineering, University of Southampton, March 1991; S.R. Adams, Modular grammars for programming language prototyping, PhD thesis, Department of Electronics and Computer Science, Faculty of Engineering, University of Southampton, March 1991 |
| [4] | Aceto, L.; Fokkink, W.; Verhoef, C., Structural operational semantics, (Bergstra, J. A.; Ponse, A.; Smolka, S. A., Handbook of Process Algebra (2001), Elsevier) · Zbl 1062.68074 |
| [5] | A. Aiken, T.K. Lakshman, Directional type checking of logic programs, in: B. Le Charlier (Ed.), 1st International Symposium on Static Analysis, LNCS, vol. 864, Springer-Verlag, September 1994, pp. 43-60; A. Aiken, T.K. Lakshman, Directional type checking of logic programs, in: B. Le Charlier (Ed.), 1st International Symposium on Static Analysis, LNCS, vol. 864, Springer-Verlag, September 1994, pp. 43-60 |
| [6] | Andrews, J. H., The witness properties and the semantics of the prolog cut, Theory and Practice of Logic Programming, 3, 1, 1-59 (2003) · Zbl 1087.68525 |
| [7] | K. Apt, Logic programing, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B, Elsevier, 1990, pp. 493-574; K. Apt, Logic programing, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B, Elsevier, 1990, pp. 493-574 · Zbl 0900.68136 |
| [8] | Burstall, R. M.; Darlington, J., A transformation system for developing recursive programs, Journal of the ACM, 24, 1, 44-67 (1977) · Zbl 0343.68014 |
| [9] | R.S. Bird, O. de Moor, Algebra of Programming, International Series in Computer Science, vol. 100, Prentice-Hall, 1997; R.S. Bird, O. de Moor, Algebra of Programming, International Series in Computer Science, vol. 100, Prentice-Hall, 1997 · Zbl 0867.68042 |
| [10] | D. Basin, Y. Deville, P. Flener, A. Hamfelt, J.F. Nilsson, Synthesis of programs in computational logic, in: M. Bruynooghe, K.-K. Lau (Eds.), Program Development in Computational Logic, LNCS, Springer-Verlag, 2003, forthcoming; D. Basin, Y. Deville, P. Flener, A. Hamfelt, J.F. Nilsson, Synthesis of programs in computational logic, in: M. Bruynooghe, K.-K. Lau (Eds.), Program Development in Computational Logic, LNCS, Springer-Verlag, 2003, forthcoming · Zbl 1080.68562 |
| [11] | J.A. Bergstra, J. Heering, P. Klint, The algebraic specification formalism ASF, in: J.A. Bergstra, J. Heering, P. Klint (Eds.), Algebraic Specification, ACM Press Frontier Series, The ACM Press in co-operation with Addison-Wesley, 1989, pp. 1-66; J.A. Bergstra, J. Heering, P. Klint, The algebraic specification formalism ASF, in: J.A. Bergstra, J. Heering, P. Klint (Eds.), Algebraic Specification, ACM Press Frontier Series, The ACM Press in co-operation with Addison-Wesley, 1989, pp. 1-66 · Zbl 0711.68073 |
| [12] | Boye, J.; Maluszynski, J., Directional types and the annotation method, Journal of Logic Programming, 33, 3, 179-220 (1997) · Zbl 0886.68031 |
| [13] | J. Boye, Directional types in logic programming, PhD thesis, University of Linköping, 1996; J. Boye, Directional types in logic programming, PhD thesis, University of Linköping, 1996 |
| [14] | K.B. Bruce, A. Schuett, R. van Gent, PolyTOIL: a type-safe polymorphic object-oriented language, in: W.G. Olthoff (Ed.), ECOOP’95-Object-Oriented Programming, LNCS, vol. 952, Springer-Verlag, Åarhus, Denmark, 7-11 August 1995, pp. 27-51; K.B. Bruce, A. Schuett, R. van Gent, PolyTOIL: a type-safe polymorphic object-oriented language, in: W.G. Olthoff (Ed.), ECOOP’95-Object-Oriented Programming, LNCS, vol. 952, Springer-Verlag, Åarhus, Denmark, 7-11 August 1995, pp. 27-51 |
| [15] | Back, R.-J; von Wright, J., Refinement Calculus: A Systematic Introduction, Graduate Texts in Computer Science (1998), Springer-Verlag · Zbl 0949.68094 |
| [16] | R. Cartwright, M. Felleisen, Extensible denotational language specifications, in: M. Hagiya, J.C. Mitchell (Eds.), Theoretical Aspects of Computer Software: International Symposium, LNCS, vol. 789, pp. 244-272, Springer-Verlag, April 1994; R. Cartwright, M. Felleisen, Extensible denotational language specifications, in: M. Hagiya, J.C. Mitchell (Eds.), Theoretical Aspects of Computer Software: International Symposium, LNCS, vol. 789, pp. 244-272, Springer-Verlag, April 1994 · Zbl 0942.68544 |
| [17] | T. Despeyroux, TYPOL: a formalism to implement natural semantics, Technical Report 94, INRIA, March 1988; T. Despeyroux, TYPOL: a formalism to implement natural semantics, Technical Report 94, INRIA, March 1988 |
| [18] | Deransart, P.; Małuszyński, J., Relating logic programs and attribute grammars, Journal of Logic Programming, 2, 2, 119-155 (1985) · Zbl 0586.68073 |
| [19] | Deransart, P.; Maluszyński, J., A Grammatical View of Logic Programming (1993), The MIT Press · Zbl 0849.68010 |
| [20] | W.-P. de Roever, K. Engelhardt, Data Refinement: Model-Oriented Proof Methods and their Comparison, in: Cambridge Tracts in Theoretical Computer Science, vol. 47, Cambridge University Press, New York, NY, 1998; W.-P. de Roever, K. Engelhardt, Data Refinement: Model-Oriented Proof Methods and their Comparison, in: Cambridge Tracts in Theoretical Computer Science, vol. 47, Cambridge University Press, New York, NY, 1998 · Zbl 0955.68076 |
| [21] | T. Elrad, R.E. Filman, A. Bader, Aspect-oriented programming: introduction, CACM 44 (10) (2001) 29-32. An introduction to the CACM special issue on AOP; T. Elrad, R.E. Filman, A. Bader, Aspect-oriented programming: introduction, CACM 44 (10) (2001) 29-32. An introduction to the CACM special issue on AOP |
| [22] | M. Flatt, S. Krishnamurthi, M. Felleisen, A Programmer’s Reduction Semantics for Classes and Mixins. In: J. Alves-Foss, (Eds.), Formal Syntax and Semantics of Java, LNCS, vol. 1523, Springer-Verlag, 1999, pp. 241-270; M. Flatt, S. Krishnamurthi, M. Felleisen, A Programmer’s Reduction Semantics for Classes and Mixins. In: J. Alves-Foss, (Eds.), Formal Syntax and Semantics of Java, LNCS, vol. 1523, Springer-Verlag, 1999, pp. 241-270 |
| [23] | Fowler, M., Refactoring: Improving the Design of Existing Code (1999), Addison-Wesley · Zbl 1020.68632 |
| [24] | A. Jain, Projections of logic programs using symbol mappings, in: Leon Sterling (Ed.), Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan, MIT Press; A. Jain, Projections of logic programs using symbol mappings, in: Leon Sterling (Ed.), Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan, MIT Press |
| [25] | D. Jeffery, Expressive type systems for logic programming langugaes, PhD thesis, Department of Computer Science and Software Engineering, The University of Melbourne, February 2002; D. Jeffery, Expressive type systems for logic programming langugaes, PhD thesis, Department of Computer Science and Software Engineering, The University of Melbourne, February 2002 |
| [26] | A. Jain, L. Sterling, A methodology for program construction by stepwise structural enhancement, Technical Report CES-94-10, Department of Computer Engineering and Science, Case Western Reserve University, June 1994; A. Jain, L. Sterling, A methodology for program construction by stepwise structural enhancement, Technical Report CES-94-10, Department of Computer Engineering and Science, Case Western Reserve University, June 1994 |
| [27] | G. Kahn, Natural semantics, in: 4th Annual Symposium on Theoretical Aspects of Computer Science, LNCS, vol. 247, Springer-Verlag, Passau, Germany, 19-21 February 1987, pp. 22-39; G. Kahn, Natural semantics, in: 4th Annual Symposium on Theoretical Aspects of Computer Science, LNCS, vol. 247, Springer-Verlag, Passau, Germany, 19-21 February 1987, pp. 22-39 · Zbl 0635.68007 |
| [28] | J. Kort, R. Lämmel, A framework for datatype transformation, in: B.R. Bryant, J. Saraiva (Eds.), Proc. of Language, Descriptions, Tools, and Applications (LDTA 2003), Elsevier, April 2003, p. 20; J. Kort, R. Lämmel, A framework for datatype transformation, in: B.R. Bryant, J. Saraiva (Eds.), Proc. of Language, Descriptions, Tools, and Applications (LDTA 2003), Elsevier, April 2003, p. 20 |
| [29] | G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, J. Irwin, Aspect-oriented programming, in: M. Aksit, S. Matsuoka (Eds.), ECOOP’97—Object-Oriented Programming, LNCS, vol. 1241, Springer-Verlag, Jyväskylä, Finland, 9-13 June 1997, pp. 220-242; G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, J. Irwin, Aspect-oriented programming, in: M. Aksit, S. Matsuoka (Eds.), ECOOP’97—Object-Oriented Programming, LNCS, vol. 1241, Springer-Verlag, Jyväskylä, Finland, 9-13 June 1997, pp. 220-242 |
| [30] | Knuth, D. E., Semantics of context-free languages, Math. Syst. Theory, 2, 127-145 (1968), Corrections in 5:95-96, 1971 · Zbl 0169.01401 |
| [31] | J. Komorowski, Synthesis of programs in the framework of partial deduction, Reports on Computer Science and Mathematics, Ser. A 81, Department of Computer Science, Åbo Akademi, Finland, 1989; J. Komorowski, Synthesis of programs in the framework of partial deduction, Reports on Computer Science and Mathematics, Ser. A 81, Department of Computer Science, Åbo Akademi, Finland, 1989 |
| [32] | M. Kirschenbaum, L.S. Sterling, A. Jain, Relating logic programs via program maps, in: Annals of Mathematics and Artifical Intelligence 8 (III-IV) (1993) 229-246; M. Kirschenbaum, L.S. Sterling, A. Jain, Relating logic programs via program maps, in: Annals of Mathematics and Artifical Intelligence 8 (III-IV) (1993) 229-246 · Zbl 0866.68023 |
| [33] | J. Komorowski, S. Treek, Towards refinement of definite logic programs. In: Z.W. Raś, M. Zemankova, (Eds.), Proc. of the 8th International Symposium on Methodologies for Intelligent Systems, LNAI, vol. 869, Springer-Verlag, Berlin, October 1994, pp. 315-325; J. Komorowski, S. Treek, Towards refinement of definite logic programs. In: Z.W. Raś, M. Zemankova, (Eds.), Proc. of the 8th International Symposium on Methodologies for Intelligent Systems, LNAI, vol. 869, Springer-Verlag, Berlin, October 1994, pp. 315-325 |
| [34] | Kastens, U.; Waite, W. M., Modularity and reusability in attribute grammars, Acta Informatica, 31, 601-627 (1994) · Zbl 0818.68103 |
| [35] | A. Lakhotia, A workbench for developing logic programs by stepwise enhancement, PhD thesis, Case Western Reserve University, 1989; A. Lakhotia, A workbench for developing logic programs by stepwise enhancement, PhD thesis, Case Western Reserve University, 1989 |
| [36] | A. Lakhotia, Incorporating “programming techniques” into prolog programs, in: E.L. Lusk, R.A. Overbeek (Eds.), Proceedings of the North American Conference on Logic Programming (NACLP ’89), MIT Press, Cleveland, OH, October 1989, pp. 426-440; A. Lakhotia, Incorporating “programming techniques” into prolog programs, in: E.L. Lusk, R.A. Overbeek (Eds.), Proceedings of the North American Conference on Logic Programming (NACLP ’89), MIT Press, Cleveland, OH, October 1989, pp. 426-440 |
| [37] | R. Lämmel, Declarative aspect-oriented programming, in: O. Danvy (Ed.), Proceedings PEPM’99, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM’99, San Antonio, TX, BRICS Notes Series NS-99-1, January 1999, pp. 131-146; R. Lämmel, Declarative aspect-oriented programming, in: O. Danvy (Ed.), Proceedings PEPM’99, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM’99, San Antonio, TX, BRICS Notes Series NS-99-1, January 1999, pp. 131-146 |
| [38] | R. Lämmel, Functional meta-programs towards reusability in the declarative paradigm, PhD thesis, Universität Rostock, Fachbereich Informatik, Shaker Verlag, 1998, ISBN 3-8265-6042-6; R. Lämmel, Functional meta-programs towards reusability in the declarative paradigm, PhD thesis, Universität Rostock, Fachbereich Informatik, Shaker Verlag, 1998, ISBN 3-8265-6042-6 |
| [39] | R. Lämmel, Grammar adaptation, in: J.N. Oliveira, P. Zave (Eds.), Proc. Formal Methods Europe (FME) 2001, LNCS, vol. 2021, Springer-Verlag, 2001, pp. 550-570; R. Lämmel, Grammar adaptation, in: J.N. Oliveira, P. Zave (Eds.), Proc. Formal Methods Europe (FME) 2001, LNCS, vol. 2021, Springer-Verlag, 2001, pp. 550-570 · Zbl 0977.68667 |
| [40] | R. Lämmel, A semantical approach to method-call interception, in: Proc. of the 1st International Conference on Aspect-Oriented Software Development (AOSD 2002), ACM Press, Twente, The Netherlands, April 2002, pp. 41-55; R. Lämmel, A semantical approach to method-call interception, in: Proc. of the 1st International Conference on Aspect-Oriented Software Development (AOSD 2002), ACM Press, Twente, The Netherlands, April 2002, pp. 41-55 |
| [41] | S. Liang, P. Hudak, M.P. Jones, Monad transformers and modular interpreters, in: ACM, editor, Conference record of POPL ’95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, San Francisco, CA, January 22-25, 1995, pp. 333-343; S. Liang, P. Hudak, M.P. Jones, Monad transformers and modular interpreters, in: ACM, editor, Conference record of POPL ’95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, San Francisco, CA, January 22-25, 1995, pp. 333-343 |
| [42] | Lloyd, J. W., Foundations of Logic Programming (1987), Springer-Verlag · Zbl 0547.68005 |
| [43] | J.-L. Lassez, M.J. Maher, K. Marriott, Unification revisited, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988, pp. 587-625; J.-L. Lassez, M.J. Maher, K. Marriott, Unification revisited, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988, pp. 587-625 · Zbl 0645.68046 |
| [44] | Language-Parametric Program Restructuring-Project web site, February 2004, project funded by the Dutch Research Organisation (NWO) http://www.cs.vu.nl/lppr/; Language-Parametric Program Restructuring-Project web site, February 2004, project funded by the Dutch Research Organisation (NWO) http://www.cs.vu.nl/lppr/ |
| [45] | R. Lämmel, G. Riedewald, Reconstruction of paradigm shifts, in: Second Workshop on Attribute Grammars and their Applications, WAGA 99, March 1999, pp. 37-56, INRIA, ISBN 2-7261-1138-6; R. Lämmel, G. Riedewald, Reconstruction of paradigm shifts, in: Second Workshop on Attribute Grammars and their Applications, WAGA 99, March 1999, pp. 37-56, INRIA, ISBN 2-7261-1138-6 |
| [46] | R. Lämmel, G. Riedewald, Prological Language Processing, in: M. van den Brand, D. Parigot, (Eds.), Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA’01), Genova, Italy, April 7, 2001, Satellite event of ETAPS’2001, ENTCS, vol. 44, Elsevier Science, April 2001; R. Lämmel, G. Riedewald, Prological Language Processing, in: M. van den Brand, D. Parigot, (Eds.), Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA’01), Genova, Italy, April 7, 2001, Satellite event of ETAPS’2001, ENTCS, vol. 44, Elsevier Science, April 2001 |
| [47] | R. Lämmel, G. Riedewald, W. Lohmann, Roles of program extension, in: A. Bossi (Ed.), Post-Workshop Proceedings LOPSTR’99, LNCS, vol. 1817, Springer-Verlag, 2000, 20 p; R. Lämmel, G. Riedewald, W. Lohmann, Roles of program extension, in: A. Bossi (Ed.), Post-Workshop Proceedings LOPSTR’99, LNCS, vol. 1817, Springer-Verlag, 2000, 20 p · Zbl 0964.68561 |
| [48] | Mycroft, A.; O’Keefe, R. A., A polymorphic type system for PROLOG, Artifical Intelligence, 23, 3, 295-307 (1984) · Zbl 0543.68076 |
| [49] | Moggi, E., Notions of computation and monads, Information and Computation, 93, 1, 55-92 (1991) · Zbl 0723.68073 |
| [50] | P.D. Mosses, Action Semantics, in: Cambridge Tracts in Theoretical Computer Science, vol. 26, Cambridge University Press, 1992; P.D. Mosses, Action Semantics, in: Cambridge Tracts in Theoretical Computer Science, vol. 26, Cambridge University Press, 1992 · Zbl 0875.68618 |
| [51] | P.D. Mosses, Foundations of Modular SOS, Technical Report, BRICS, Reports Series RS-99-54, December 1999; P.D. Mosses, Foundations of Modular SOS, Technical Report, BRICS, Reports Series RS-99-54, December 1999 |
| [52] | P.D. Mosses, Pragmatics of Modular SOS, in: H. Kirchner, C. Ringeissen (Eds.), Algebraic Methodology and Software Technology: 9th International Conference, AMAST’02, LNCS, vol. 2422, Springer-Verlag, January 2002, pp. 21-40; P.D. Mosses, Pragmatics of Modular SOS, in: H. Kirchner, C. Ringeissen (Eds.), Algebraic Methodology and Software Technology: 9th International Conference, AMAST’02, LNCS, vol. 2422, Springer-Verlag, January 2002, pp. 21-40 · Zbl 1275.68086 |
| [53] | Milner, R.; Tofte, M.; Harper, R., The Definition of Standard ML (1990), The MIT Press |
| [54] | L. Naish, L. Sterling, A higher order reconstruction of stepwise enhancement, in: N.E. Fuchs (Ed.), Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97, Leuven, Belgium, July 10-12, 1997: proceedings, LNCS, vol. 1463, Springer-Verlag, New York, NY, USA, 1998; L. Naish, L. Sterling, A higher order reconstruction of stepwise enhancement, in: N.E. Fuchs (Ed.), Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97, Leuven, Belgium, July 10-12, 1997: proceedings, LNCS, vol. 1463, Springer-Verlag, New York, NY, USA, 1998 |
| [55] | W.F. Opdyke, Refactoring object-oriented frameworks, PhD thesis, University of Illinois at Urbana-Champaign, 1992; W.F. Opdyke, Refactoring object-oriented frameworks, PhD thesis, University of Illinois at Urbana-Champaign, 1992 |
| [56] | Partsch, H. A., Specification and Transformation of Programs (1990), Springer-Verlag · Zbl 0697.68025 |
| [57] | M. Pettersson, RML—a new language and implementation for natural semantics, in: M. Hermenegildo, J. Penjam (Eds.), Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP’94, LNCS, vol. 844, Springer-Verlag, 1994, pp. 117-131; M. Pettersson, RML—a new language and implementation for natural semantics, in: M. Hermenegildo, J. Penjam (Eds.), Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP’94, LNCS, vol. 844, Springer-Verlag, 1994, pp. 117-131 |
| [58] | G.D. Plotkin, A note on inductive generalization, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 5, Edinburgh University Press, 1970, pp. 153-163; G.D. Plotkin, A note on inductive generalization, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 5, Edinburgh University Press, 1970, pp. 153-163 · Zbl 0219.68045 |
| [59] | G.D. Plotkin, A structural approach to operational semantics, Technical Report FN-19, DAIMI, University of Aarhus, Denmark, September 1981; G.D. Plotkin, A structural approach to operational semantics, Technical Report FN-19, DAIMI, University of Aarhus, Denmark, September 1981 |
| [60] | Pettorossi, A.; Proietti, M., Rules and strategies for transforming functional and logic programs, ACM Computing Surveys, 28, 2, 360-414 (1996) |
| [61] | J. Palsberg, M.I. Schwartzbach, Type subsitution for object-oriented programming, SIGPLAN Notices 25 (10) October 1990, in: Proceedings of Conference on Object-Oriented Programming Systems, Languages, and Applications/European Conference on Object-Oriented Programming, Ottawa, Canada, 21-25 October 1990; J. Palsberg, M.I. Schwartzbach, Type subsitution for object-oriented programming, SIGPLAN Notices 25 (10) October 1990, in: Proceedings of Conference on Object-Oriented Programming Systems, Languages, and Applications/European Conference on Object-Oriented Programming, Ottawa, Canada, 21-25 October 1990 |
| [62] | A.J. Power, L.S. Sterling, A notion of map between logic programs, in: D.H.D. Warren, P. Szeredi (Eds.), Proc. 7th International Conference on Logic Programming (ICLP’90), The MIT Press, 1990, pp. 390-404; A.J. Power, L.S. Sterling, A notion of map between logic programs, in: D.H.D. Warren, P. Szeredi (Eds.), Proc. 7th International Conference on Logic Programming (ICLP’90), The MIT Press, 1990, pp. 390-404 |
| [63] | Pereira, F. C.N; Warren, D. H.D, Definite clause grammars for language analysis-a survey of the formalism and a comparison with augmented transition networks, Artificial Intelligence, 13, 3, 231-278 (1980) · Zbl 0442.68088 |
| [64] | The Rule Evolution Kit, version 0.77, 11 February 2004. Available from <http://www.cs.vu.nl/rek/>; The Rule Evolution Kit, version 0.77, 11 February 2004. Available from <http://www.cs.vu.nl/rek/> |
| [65] | J.C. Reynolds, Transformational systems and the algebraic structure of atomic formulas, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 5, Edinburgh University Press, 1970, pp. 135-151; J.C. Reynolds, Transformational systems and the algebraic structure of atomic formulas, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 5, Edinburgh University Press, 1970, pp. 135-151 · Zbl 0219.68044 |
| [66] | G. Riedewald, Compilerkonstruktion und grammatiken syntaktischer Funktionen, Dissertation B, Rechenzentrum der Universität Rostock, 1979; G. Riedewald, Compilerkonstruktion und grammatiken syntaktischer Funktionen, Dissertation B, Rechenzentrum der Universität Rostock, 1979 |
| [67] | G. Riedewald, U. Lämmel, Using an attribute grammar as a logic program, in: P. Deransart, B. Lorho, J. Maluszyński (Eds.), Programming Languages, Implementation and Logic Programming (PLILP’88), Proc., LNCS, vol. 348, Springer-Verlag, May 1989, pp. 161-179; G. Riedewald, U. Lämmel, Using an attribute grammar as a logic program, in: P. Deransart, B. Lorho, J. Maluszyński (Eds.), Programming Languages, Implementation and Logic Programming (PLILP’88), Proc., LNCS, vol. 348, Springer-Verlag, May 1989, pp. 161-179 · Zbl 0724.68020 |
| [68] | G. Riedewald, J. Maluszyński, P. Dembinski, Formale Beschreibung von Programmiersprachen, Eine Einführung in die Semantik, Oldenbourg-Verlag, München, Wien and Akademie-Verlag, Berlin, 1983; G. Riedewald, J. Maluszyński, P. Dembinski, Formale Beschreibung von Programmiersprachen, Eine Einführung in die Semantik, Oldenbourg-Verlag, München, Wien and Akademie-Verlag, Berlin, 1983 · Zbl 0537.68014 |
| [69] | Slonneger, K.; Kurtz, B. L., Formal Syntax and Semantics-A Laboratory Based Approach (1995), Addison-Wesley · Zbl 0844.68016 |
| [70] | Sterling, L. S.; Shapiro, E. Y., The Art of Prolog (1994), MIT Press · Zbl 0850.68137 |
| [71] | Tip, F.; Sweeney, P. F., Class hierarchy specialization, Acta Informatica, 36, 12, 927-982 (2000) · Zbl 0956.68021 |
| [72] | Van Emden, M. H.; Kowalski, R. A., The semantics of predicate logic as a programming language, Journal of the ACM, 23, 4, 733-742 (1976) · Zbl 0339.68004 |
| [73] | van Gelder, A.; Ross, K.; Schlipf, J. S., The well-founded semantics for general logic programs, Journal of the ACM, 38, 3, 620-650 (1991) · Zbl 0799.68045 |
| [74] | P. Wadler, The essence of functional programming (Invited talk), in: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM SIGACT and SIGPLAN, ACM Press, 1992, pp. 1-14; P. Wadler, The essence of functional programming (Invited talk), in: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM SIGACT and SIGPLAN, ACM Press, 1992, pp. 1-14 |
| [75] | D.A. Watt, O.L. Madsen, Extended attribute grammars, Technical Report no. 10, University of Glasgow, July 1977; D.A. Watt, O.L. Madsen, Extended attribute grammars, Technical Report no. 10, University of Glasgow, July 1977 · Zbl 0512.68052 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
