Rewriting logic: roadmap and bibliography

@article{MartOliet2002RewritingLR,
  title={Rewriting logic: roadmap and bibliography},
  author={Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer},
  journal={Theor. Comput. Sci.},
  year={2002},
  volume={285},
  pages={121-154}
}
Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30–June 3, 1994, Selected Papers, Lecture Notes in Computer Science, Vol. 906, Springer, Berlin, 1995, pp. 351–367. [201] M. Leucker, T. Noll, Rewriting logic as a framework for generic veri9cation tools, in: K. Futatsugi (Ed.), Proc. 3rd Internat. Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18–20, 2000, Electronic Notes in Theoretical Computer Science, Vol. 36, Elsevier… CONTINUE READING
Highly Cited
This paper has 231 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

231 Citations

0102030'02'05'09'13'17
Citations per Year
Semantic Scholar estimates that this publication has 231 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 284 references

Conditional rewriting logic as a uni9ed model of concurrency

  • J. Meseguer
  • Theoret. Comput. Sci. 96 (1) (1992) 73–155. 148…
  • 2002
Highly Influential
7 Excerpts

A proof-theoretic approach to the HOL-Nuprl connection with applications to proof translation

  • M.-O. Stehr, P. Naumov, J. Meseguer
  • in: M. Cerioli, P.D. Mosses, G. Reggio (Eds…
  • 2002
Highly Influential
7 Excerpts

F

  • M. Clavel
  • Dur' an, N. Mart'(-Oliet, Polytypic programming…
  • 2000
Highly Influential
7 Excerpts

ReQection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

  • M. Clavel
  • CSLI Publications, Stanford, CA
  • 2000
Highly Influential
5 Excerpts

T

  • K. Futatsugi, A. T. Nakagawa
  • Tamai (Eds.), Cafe: an Industrial-Strength…
  • 2000
Highly Influential
4 Excerpts

Tile logic for synchronized rewriting of concurrent systems

  • R. Bruni
  • Ph.D. Thesis, Dipartimento di Informatica…
  • 1999
Highly Influential
5 Excerpts

H

  • C. Kirchner
  • Kirchner (Eds.), Proc. 2nd Internat. Workshop on…
  • 1998
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…