Abstract
Natural Semantics is a logical formalism used to specify semantic aspects of a language by sets of logical rules (called a Typol program) where a query is proved using Prolog. In a previous paper, we have shown how to replace, under certain hypotheses, the Prolog engine by a functional evaluator; this is possible because unification is no longer required and can be replaced by pattern matching. Starting from this previous work, we now add incremental facilities to our evaluator. That is to say, after some modification of a term whose semantic value has already been evaluated, we do not need to re-evaluate everything from scratch as it is the case with a Prolog engine.
This work is partially supported by PRC Greco de Programmation CNRS, Opération INTERSEM
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Alblas H. & Melichar B. “Attribute Grammars, Applications and Systems”, Proc. of International summer school SAGA, Prague, 1991 LNCS 545.
Attali I. and Chazarain J. “Functional Evaluation of Natural Semantics Specifications” INRIA Research Report 1218, May 1990, also in Proc. of WAGA “international Workshop on Attribute Grammars and their Applications” Paris sept 90, LNCS 461.
Clément D., Despeyroux J., Despeyroux T. & Kahn G. “A simple applicative language: Mini-ML” Symp. on Functional Programming Languages and Computer Architecture, 1986
Deransart P., Jourdan M., & Lorho B. “Attribute Grammars: Definitions, Systems and Bibliography” LNCS 323, Spinger Verlag, 1988
Despeyroux T. “Typol: a formalism to implement Natural Semantics” INRIA research report 94, 1988
Gentzen G. “Investigation into Logical Deduction” Thesis 1935, reprinted in “The collected papers of Gerhard Gentzen” E. Szabo, North-Holland, Amsterdam, 1969
L. HascoËt, “Transformations automatiques de spécifications sémantiques”, Thèse de Doctorat, Univ. Nice, 1987
Kahn G. “Natural Semantics” Proc. of Symp on Theoretical Aspects of Computer Science, Passau, Germany, LNCS 247, 1987
Plotkin G. D. “A structural approach to operational semantics” Report DAIMI FN-19, Computer Science Dpt, Aarhus Univ., Aarhus, Denmark, 1981
Reps T. “Generating Language based Environments” ACM Doctoral Dissertation Award, M.I.T. Press, Cambridge, Mass, 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Attali, I., Chazarain, J., Gilette, S. (1992). Incremental evaluation of natural semantics specifications. In: Bruynooghe, M., Wirsing, M. (eds) Programming Language Implementation and Logic Programming. PLILP 1992. Lecture Notes in Computer Science, vol 631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55844-6_129
Download citation
DOI: https://doi.org/10.1007/3-540-55844-6_129
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55844-6
Online ISBN: 978-3-540-47297-1
eBook Packages: Springer Book Archive