Logics of Specification Languages

Logics of Specification Languages - Monographs in...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Monographs in Theoretical Computer Science An EATCS Series Editors: W. Brauer J. Hromkoviˇc G. Rozenberg A. Salomaa On behalf of the European Association for Theoretical Computer Science (EATCS) Advisory Board: G. Ausiello M. Broy C.S. Calude A. Condon D. Harel J. Hartmanis T. Henzinger T. Leighton M. Nivat C. Papadimitriou D. Scott
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Dines Bjørner · Martin C. Henson Editors Logics of SpeciFcation Languages 123
Background image of page 2
Prof. Emeritus, Dr. Dines Bjørner Informatics and Mathematical Modelling Technical University of Denmark 2800 Kgs. Lyngby Denmark [email protected] Prof. Martin C. Henson University of Essex Department of Computer Science Wivenhoe Park CO4 3SQ Colchester United Kingdom [email protected] Series Editors Prof. Dr. Wilfried Brauer Institut für Informatik der TUM Boltzmannstr. 3 85748 Garching, Germany [email protected] Prof. Dr. Grzegorz Rozenberg Leiden Institute of Advanced Computer Science University of Leiden Niels Bohrweg 1 2333 CA Leiden, The Netherlands [email protected] Prof. Dr. Juraj Hromkoviˇc ETH Zentrum Department of Computer Science Swiss Federal Institute of Technology 8092 Zürich, Switzerland [email protected] Prof. Dr. Arto Salomaa Turku Centre of Computer Science Lemminkäisenkatu 14 A 20520 Turku, Finland [email protected]± ISBN 978-3-540-74106-0 e-ISBN 978-3-540-74107-7 DOI 10.1007/978-3-540-74107-7 ACM Computing Classi±cation (1998): F.4, F.3, D.1, D.2, D.3 Library of Congress Control Number: 2007936401 Monographs in Theoretical Computer Science. An EATCS Series. ISSN 1431-2654 © 2008 Springer-Verlag Berlin Heidelberg This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, speci±cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on micro±lm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a speci±c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover Design: KünkelLopka, Heidelberg Printed on acid-free paper 987654321 springer.com
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
The editors dedicate this book to: ASM : Yuri Gurevich B : Jean-Raymond Abrial CASL : Peter D. Mosses CafeOBJ : Joseph A. Goguen, 1941–2006 DC : Zhou Chaochen RAISE : Søren Prehn, 1955–2006 VDM : Peter Lucas TLA+ : Leslie Lamport Z : Jean-Raymond Abrial
Background image of page 4
Preface 1 SpeciFcation Languages By a specifcation language we understand a Formal system oF syntax, se- mantics and prooF rules. The syntax and semantics defne a language; the prooF rules a prooF system. Specifcations are expressions in the language — and reasoning over properties oF these specifcations is done within the prooF system.
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/31/2010 for the course CAS 707 taught by Professor Ridhakhedri during the Spring '10 term at McMaster University.

Page1 / 19

Logics of Specification Languages - Monographs in...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online