Generating Specialized Rules and Programs for Demand-Driven Analysis
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and queries select facts of interest to the analysis problem at hand. However, it h
- PDF / 9,306,190 Bytes
- 442 Pages / 430 x 660 pts Page_size
- 61 Downloads / 235 Views
Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
5140
José Meseguer Grigore Ro¸su (Eds.)
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
13
Volume Editors José Meseguer University of Illinois at Urbana-Champaign Urbana, IL, USA E-mail: [email protected] Grigore Ro¸su University of Illinois at Urbana-Champaign Urbana, IL, USA E-mail: [email protected]
Library of Congress Control Number: 2008930999 CR Subject Classification (1998): F.3-4, D.2, C.3, D.1.6, I.2.3, I.1.3 LNCS Sublibrary: SL 2 – Programming and Software Engineering ISSN ISBN-10 ISBN-13
0302-9743 3-540-79979-6 Springer Berlin Heidelberg New York 978-3-540-79979-5 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms 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. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2008 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12444250 06/3180 543210
Preface
This volume contains the proceedings of AMAST 2008, the 12th International Conference on Algebraic Methodology and Software Technology, held during July 28–31, 2008, in Urbana, Illinois, USA. The major goal of the AMAST conferences is to promote research toward setting software technology on a firm, mathematical basis. Work toward this goal is a collaborative, international effort with contributions from both academia and industry. The envisioned virtues of providing software technology developed on a mathematical basis include: correctness, which can be proved mathematically; safety, so that developed software can be used i
Data Loading...
