Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science.

Abstract

Abstract : This volume constitutes the proceedings of the First International Workshop on Rewriting Logic, held at the Asilomar Conference Center, Pacific Grove, California, Sept. 2-6, 1996. The three invited papers by Narciso Marti-Oliet, Ugo Montanari, and Martin Wirsing, and seventeen contributed papers selected by the Program Committee give a rich view of the latest developments and research directions in the field of rewriting logic and its various applications to computing. Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the U.S., as well as a paper on semantic foundations for the Cafe language in Japan. There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to contraint solving, to real-time systems, and to discrete event simulation. In addition to the papers, the workshop placed strong emphasis on facilitating in-depth discussion of the topics by allowing ample time for the discussion of each paper, and by including five panel discussions and a tutorial.