default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. AMAST 1995: Montreal, Canada
- Vangalur S. Alagar, Maurice Nivat:
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
Refereed Contributions
Algebraic and Logical Foundations
- 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 - Éric 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
Concurrent and Reactive Systems
- 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
Software Technology
- 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
Logic Programming Databases
- 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, Chi Ping 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
Research Prototype Reports
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
