✦ LIBER ✦

Preface: Volume 58, Issue 1

✍ Scribed by Simon J. Ambler; Roy L. Crole; Alberto Momigliano

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 42 KB
Volume: 58
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80579-1

No coin nor oath required. For personal study only.

✦ Synopsis

Mechanised Reasoning about Languages with Variable Binding 2001This volume contains the Proceedings of the Workshop on Mechanised Reasoning about Languages with Variable Binding (MERLIN 2001), which was held in conjunction with IJCAR 2001, the International Joint Conference on Automated Reasoning. The Workshop took place in Siena, Italy, on the 18th June 2001, and was organized by the editors of this volume.

Currently, there is considerable interest in the use of computers to encode (operational) semantic descriptions of programming languages. Such encodings are often done within the metalanguage of a theorem prover or related system. The encodings may require the use of variable binding constructs, inductive definitions, coinductive definitions, and associated schemes of (co)recursion. The broad aims of MERLIN 2001 were to provide researchers with a forum to review state of the art results and techniques, and to present recent and new progress in the areas of

📜 SIMILAR VOLUMES

Preface: Volume 58, Issue 2

✍ Maria Paola Bonacina; Bernhard Gramlich 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 44, Issue 1

✍ Andrea Corradini; Marina Lenisa; Ugo Montanari 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 39, Issue 1

✍ Luca Aceto; Björn Victor 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 43 KB

Preface: Volume 13, Issue 1

✍ Abbas Edalat; Achim Jung; Klaus Keimel; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 32 KB

This volume contains the proceedings of the Third Workshop on Computation and Approximation (Comprox III). It was held in Birmingham, England, 11-13 September 1997, in combination with a Summer School. The series of Comprox workshops was part of a bilateral project between England and Germany, fund

Preface: Volume 65, Issue 1

✍ Lawrence S. Moss 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 47 KB

as satellite event to ETAPS'2002. Over the last few years it has become clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. The aim of the CMCS workshops is to bring together

Preface: Volume 66, Issue 1

✍ Vasco Brattka; Matthias Schröder; Klaus Weihrauch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 46 KB

This part of the volume contains the papers accepted for presentation at the fifth workshop on