4. AMAST 1995: Montreal, Canada

Vangalur S. Alagar, Maurice Nivat (Eds.): Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings. Lecture Notes in Computer Science 936 Springer 1995, ISBN 3-540-60043-4

Invited Lectures

David Gries:
Equational Logic as a Tool. 1-17
Jeannette M. Wing:
Teaching Mathematics to Software Engineers. 18-40
Ted Ralston, Susan L. Gerhart, Dan Craigen:
The Role of Education and Trainig in the Industrial Application of Formal Methods. 41-49
Ewa Orlowska:
Information Algebras. 50-65
Krzysztof R. Apt, Ingrid Luitjes:
Verification of Logic Programs with Delay Declarations. 66-90
Joseph A. Goguen, Razvan Diaconescu:
An Introduction to Category-based Equational Logic. 91-126
Rohit Parikh:
Knowledge Based Computation (Extended Abstract). 127-132

Anne Elisabeth Haxthausen:
Order-sorted Algebraic Specifications with Higher-order Functions. 133-151
Michel Bidoit, Rolf Hennicker:
Proving the Correctness of Behavioural Implementations. 152-168
Mads Dam:
On the Decidability of Process Equivalences for the pi-calculus. 169-183
Catherine Oriat:
Detecting Isomorphisms of Modular Specifications with Diagrams. 184-198
Christian Prehofer:
Higher-Order Narrowing with Convergent Systems. 199-213
Eric Badouel, Philippe Darondeau, Jean-Claude Raoult:
Context-Free Event Domains are Recognizable. 214-229
Delphine Terrasse:
Encoding Natural Semantics in Coq. 230-244
Bart Jacobs:
Mongruences and Cofree Coalgebras. 245-260
María Victoria Cengarle:
Semantic Typing for Parametric Algebraic Specifications. 261-276

Lalita Jategaonkar Jagadeesan, Radha Jagadeesan:
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). 277-291
Luca de Alfaro, Zohar Manna:
Verification in Continuous Time by Discrete Reasoning. 292-306
Gian Luigi Ferrari, Ugo Montanari:
Dynamic Matrices and the Cost Analysis of Concurrent Programs. 307-321
Allan Cheng:
Petri Nets, Traces, and Local Model Checking. 322-337
Elizabeth I. Leonard, Amy E. Zwarico:
An Algebraic Framework for Developing and Maintaining Real-Time Systems. 338-352
Pierre Collette, Edgar Knapp:
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. 353-367
Andrea Corradini, Fabio Gadducci:
CPO Models for Infinite Term Rewriting. 368-384
Angelo Montanari, Maarten de Rijke:
Completeness Results for Two-sorted Metric Temporal Logics. 385-399

Naima Brown, Abdelillah Mokkedem:
On Mechanizing Proofs within a Complete Proof System for Unity. 400-415
Deepak Kapur, Mahadevan Subramaniam:
Automated Reasoning About Parallel Algorithms Using Powerlists. 416-430
Axel Dold:
Representing, Verifying and Applying Software Development Steps using the PVS System. 431-445
Martin Gogolla, Rudolf Herzig:
An Algebraic Development Technique for Information Systems. 446-460
Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
A Framework for Machine-Assisted User Interface Verification. 461-474
Maritta Heisel:
Specification of the Unix File System: A Comparative Case Study. 475-488
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki:
A Calculus of Countable Broadcasting Systems. 489-503
Anne Bergeron:
Symbolic Timing Devices. 504-517

Rajiv Bagai, Rajshekhar Sunderraman:
An Algebraic Construction of the Well-Founded Model. 518-530
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming. 531-545
P. Rajagopalan, C. P. Tsang:
A Generic Algebra for Data Collections Based on Constructive Logic. 546-560
Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon:
Partial Order Programming (Revisited). 561-575

Adel Bouhoula, Michaël Rusinowitch:
SPIKE: A System for Automatic Inductive Proofs. 576-577
Jutta Eusterbrock:
SEAMLESS: Knowledge Based Evolutionary System Synthesis. 578-580
Hasan M. Jamil, Laks V. S. Lakshmanan:
An Object-Oriented Front-end for Deductive Databases. 581-584
Bharat Jayaraman, Kyonghee Moon:
The SuRE Programming Framework. 585
Laks V. S. Lakshmanan, Iyer N. Subramanian, Despina Papoulis, Nematollaah Shiri:
A Declarative System for Multi-database Interoperability. 586-589
Houari A. Sahraoui:
The METAGEN System. 590-591

Last update Sat May 18 18:05:43 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page