Accession Number : ADA314817

Title :   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.

Descriptive Note : Rept. for 3 Sep-6 Sep 96,

Corporate Author : SRI INTERNATIONAL MENLO PARK CA

Personal Author(s) : Meseguer, J.

PDF Url : ADA314817

Report Date : SEP 1996

Pagination or Media Count : 431

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.

Descriptors :   *COMPUTER LOGIC, *WORKSHOPS, EUROPE, SIMULATION, SYMPOSIA, MODELS, REAL TIME, COMPUTERS, SEMANTICS, JAPAN, LANGUAGE, CALIFORNIA, INTERNATIONAL, FOUNDATIONS(STRUCTURES), OBJECT ORIENTED PROGRAMMING.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE