Skip to main content
SpringerLink
Log in
Book cover

International Conference on Current Trends in Theory and Practice of Computer Science

SOFSEM 1995: SOFSEM '95: Theory and Practice of Informatics pp 405–412Cite as

Fundamentals of context-sensitive rewriting

  • Contributed Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1012))

Abstract

Recently we have introduced a novel class of rewrite relations we call context-sensitive rewriting that proves useful to mechanize a particular class of inference systems. In this paper, we give a more accurate characterization of some properties of context-sensitive rewriting. We also show that several reduction strategies used in λ-calculus namely weak reduction and lazy (call by name) reduction, can be viewed as an instance of the context-sensitive rewriting.

This work has been partially supported by CICYT under grant TIC 95-0433-C03-03.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Dershowitz. A Taste of Rewrite Systems. In P.E. Lauer, editor, Proc of Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, pages 199–228, Berlin, 1993.

    Google Scholar 

  2. N. Dershowitz and J.P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243–320. Elsevier, Amsterdam and The MIT Press, Cambridge, MA, 1990.

    Google Scholar 

  3. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification. volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1985.

    Google Scholar 

  4. J.R. Hindley and J.P. Seldin. Introduction to Combinators and λ-Calculus. Cambridge University Press, 1986.

    Google Scholar 

  5. R. Lalement. Computation as Logic. Masson-Prentice Hall International, 1993.

    Google Scholar 

  6. S. Lucas. Computational properties in context-sensitive rewriting. In Proc. of 1995 Joint Conference on Declarative Programming, GULP-PRODE'95. To appear.

    Google Scholar 

  7. S. Lucas and J. Oliver. Context-sensitive rewriting. Technical report DSIC-II/23/94.

    Google Scholar 

  8. J. Meseguer. Conditional Rewriting Logic as an Unified Model of Concurrency. Journal of Theoretical Computer Science, 96:73–155, 1992.

    Google Scholar 

  9. R. Milner. The polyadic π-calculus: A tutorial. In F.L. Brauer, W. Bauer and H. Schwintenberg, editors, Logic and Algebra of Specifications, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  10. S. L. Peyton-Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987.

    Google Scholar 

  11. D. Plaisted. Equational Reasoning and Term Rewriting Systems. In D. Gabbay and J. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, volume 1, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera s/n, E-46071, Valencia, Spain

    Salvador Lucas

Authors
  1. Salvador Lucas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Miroslav Bartosek Jan Staudek Jirí Wiedermann

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lucas, S. (1995). Fundamentals of context-sensitive rewriting. In: Bartosek, M., Staudek, J., Wiedermann, J. (eds) SOFSEM '95: Theory and Practice of Informatics. SOFSEM 1995. Lecture Notes in Computer Science, vol 1012. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60609-2_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-60609-2_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60609-3

  • Online ISBN: 978-3-540-48463-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation