Abstract rewriting with concrete operators

  • Stéphane Kaplan
  • Christine Choppy
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 355)


Natural Number Operation Symbol Abstract Data Type Direct Code Algebraic Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ADJ 78]
    J.A. Goguen, J.W. Thatcher, E.G. Wagner, An Initial Approach to the Specification, Correctness, and Implementation of Abstract Data Types, Current Trends in Programming Methodology, Vol. 4, Ed. Yeh R., Prentice-Hall, pp. 80–149 (1978)Google Scholar
  2. [Bid 88]
    M. Bidoit, The stratified loose approach: a generalization of the initial and loose semantics, in Recent Trends in Data Type Specification, LNCS 332, Springer Verlag (1988)Google Scholar
  3. [BCV 85]
    M. Bidoit, C. Choppy, F. Voisin, The ASSPEGIQUE specification environment, Motivations and design, Proc. of the 3rd Workshop on Theory and Applications of Abstract data types, Bremen, Nov 1984, Recent Trends in Data Type Specification (H.-J. Kreowski ed.), Informatik-Fachberichte 116, Springer Verlag, Berlin-Heidelberg, pp. 54–72 (1985)Google Scholar
  4. [CG 86]
    C. Choppy, M.-C. Gaudel, Impact des spécifications formelles sur le développement de logiciel, Recuerl des conférences de la Convention Informatique, Tome A, Paris, 19 pp 335–339 (1986)Google Scholar
  5. [Cho 87]
    C. Choppy, Formal specification, prototyping and integration testing, Proc. of the 1st European Software Engineering Conference, Strasbourg, pp. 185–192 (1987)Google Scholar
  6. [DJ 89]
    N. Dershowitz, J.-P. Jouannaud, Rewriting systems, Handbook of Theoretical Computer Science, A. Meyer, M. Nivat, M. Peterson, D. Perrin eds., (to appear 1989)Google Scholar
  7. [EM 85]
    H. Ehrig, B. Mahr, Fundamentals of algebraic specifications. I: Equations and initial semantics, EATCS monographs on Theoretical Computer Science, Springer Verlag (1985)Google Scholar
  8. [FGJM 85]
    K. Futatsugi, J.A. Goguen, J.-P. Jouannaud, J. Meseguer, Principles of OBJ2, Proc. 12th ACM Symp. on Principle of Programming Languages, New Orleans, pp. 52–66 (1985)Google Scholar
  9. [Gau 85]
    M.-C. Gaudel, Towards structured algebraic specifications, Proc. ESPRIT Technical Week, Bruxelles, Springer Verlag (1985)Google Scholar
  10. [GM 88]
    M.-C. Gaudel, T. Moineau, A theory of software reusability, Proc. of the ESOP'88 Conf., LNCS 300, Springer Verlag (1988)Google Scholar
  11. [GHW 85]
    J.V. Guttag, J.J. Horning, J.W. Wing, The Larch family of specification languages, IEEE Software, 2,4 (1985)Google Scholar
  12. [HO 80]
    G. Huet, D.C. Oppen, Equations and rewrite rules: a survey, Formal languages: Perspective and open problems, R. Book Ed., Academic Press (1980)Google Scholar
  13. [Jouannaud 83]
    J.-P. Jouannaud, Confluent and coherent sets of reductions with equations, Proc. of the 8th ICALP Conferences, L.N.C.S. 53, pp. 269–283 (1983)Google Scholar
  14. [JK 86]
    J.-P. Jouannaud, H. Kirchner, Completion of a set of rules modulo a set of equations, SIAM J. on Computing 15, pp. 1155–1194 (1986)Google Scholar
  15. [Kap 87]
    S. Kaplan, A compiler for conditional rewriting systems, Proc. 2nd Conf. on Rewriting techniques and applications, Bordeaux, L.N.C.S. 256, Springer Verlag, pp. 25–41 (1987)Google Scholar
  16. [Klop 87]
    J.W. Klop, Term rewriting systems: a tutorial, Bulletin of the EATCS, 32, pp. 143–183 (1987)Google Scholar
  17. [Wirsing 89]
    M. Wirsing, Algebraic specifications, Handbook of Theoretical Computer Science, A. Meyer, M. Nivat, M. Peterson, D. Perrin eds., (to appear 1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Stéphane Kaplan
    • 1
    • 2
    • 3
  • Christine Choppy
    • 3
  1. 1.Computer Science DepartmentHebrew UniversityJerusalemIsrael
  2. 2.Computer Science DepartmentBar-Ilan UniversityRamat-GanIsrael
  3. 3.L.R.I.Université de Paris-SudOrsayFrance

Personalised recommendations