6. TAPSOFT 1995: Aarhus, Denmark

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (Eds.): TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings. Lecture Notes in Computer Science 915 Springer 1995, ISBN 3-540-59293-8 BibTeX

@proceedings{DBLP:conf/tapsoft/1995,
  editor    = {Peter D. Mosses and
               Mogens Nielsen and
               Michael I. Schwartzbach},
  title     = {TAPSOFT'95: Theory and Practice of Software Development, 6th
               International Joint Conference CAAP/FASE, Aarhus, Denmark, May
               22-26, 1995, Proceedings},
  booktitle = {TAPSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {915},
  year      = {1995},
  isbn      = {3-540-59293-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Hartmut Ehrig, Bernd Mahr: A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. 3-24 BibTeX
Christiane Floyd: Theory and Practice of Software Development: Stages in a Debate. 25-41 BibTeX
Dexter Kozen: Rational Spaces and Set Constraints. 42-61 BibTeX
Joseph A. Goguen, Luqi: Formal Methods and Social Context in Software Development. 62-81 BibTeX
Marie-Claude Gaudel: Testing Can Be Formal, Too. 82-96 BibTeX
Vaughan R. Pratt: Anatomy of the Pentium Bug. 97-107 BibTeX
Vaughan R. Pratt: Rational Mechanisms and Natural Mathematics. 108-122 BibTeX

CAAP

Trees & Automata

Andreas Potthoff: First-Order Logic on Finite Trees. 125-139 BibTeX
Kai Salomaa: Decidability of Equivalence for Deterministic Synchronized Tree Automata. 140-154 BibTeX
Yves Andre, Francis Bossut: The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable. 155-171 BibTeX

Concurrency I

Davide Sangiorgi: Pi-I: A Symmetric Calculus Based on Internal Mobility. 172-186 BibTeX
Huimin Lin: Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. 187-201 BibTeX
Roberto M. Amadio, Mads Dam: Reasoning about Higher-Order Processes. 202-216 BibTeX
Xinxin Liu, David Walker: Confluence of Processes and Systems of Objects. 217-231 BibTeX

Logic & Specification

Burghard von Karger: An Algebraic Approach to Temporal Logic. 232-246 BibTeX
Martin Hofmann, Donald Sannella: On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. 247-261 BibTeX
Bengt Jonsson, Yih-Kuen Tsay: Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). 262-276 BibTeX

Formal Languages

Victor L. Selivanov: Fine Hierarchy of Regular omega-Languages. 277-287 BibTeX
Thomas Wilke, Haiseung Yoo: Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time. 288-302 BibTeX
Pierre-André Wacrenier: Semi-Trace Morphisms and Rational Transductions. 303-317 BibTeX
Stephen L. Bloom, Zoltán Ésik: Nonfinite Axiomatizability of Shuffle Inequalities. 318-333 BibTeX

Concurrency II

Vladimiro Sassone: On the Category of Petri Net Computations. 334-348 BibTeX
Petr Jancar: High Undecidability of Weak Bisimilarity for Petri Nets. 349-363 BibTeX
Eric Badouel, Luca Bernardinello, Philippe Darondeau: Polynomial Algorithms for the Synthesis of Bounded Nets. 364-378 BibTeX

Rewriting Systems

M. R. K. Krishna Rao: Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems. 379-393 BibTeX
Satoshi Okui, Aart Middeldorp, Tetsuo Ida: Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). 394-408 BibTeX
Annika Wagner: On the Expressive Power of Algebraic Graph Grammars with Application Conditions. 409-423 BibTeX

Semantics

Michal Walicki, Sigurd Meldal: Generated Models and the omega-Rule: The Nondeterministic Case. 424-438 BibTeX
Luca Aceto, Anna Ingólfsdóttir: CPO Models for a Class of GSOS Languages. 439-453 BibTeX
Adriano Peron: Statecharts, Transition Structures and Transformations. 454-468 BibTeX

FASE

Types

Martín Abadi, Luca Cardelli: An Imperative Object Calculus. 471-485 BibTeX
Isambo Karali, Constantin Halatsis: A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics. 486-500 BibTeX
Kirsten Lackner Solberg: Strictness and Totality Analysis with Conjunction. 501-515 BibTeX

Tools

Frank Tip: Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. 516-530 BibTeX
Yves Bertot, Ranan Fraer: Reasoning with Executable Specifications. 531-545 BibTeX
Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou: Calculating Software Generators from Solution Specifications. 546-560 BibTeX

Static Analysis

Jens Palsberg: Comparing Flow-Based Binding-Time Analyses. 561-574 BibTeX
Peter Ørbæk: Can you Trust your Data? 575-589 BibTeX
Hanne Riis Nielson, Flemming Nielson: Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. 590-604 BibTeX

Case Studies

Alfons Geser: Mechanized Inductive Proof of Properties of a Simple Code Optimizer. 605-619 BibTeX
Henrik Reif Andersen, Michael Mendler: Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. 620-635 BibTeX
Stephan Kleuker: A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications. 636-650 BibTeX

Transformations

Shmuel Sagiv, Thomas W. Reps, Susan Horwitz: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. 651-665 BibTeX
Sandrine Blazy, Philippe Facon: Formal Specification and Prototyping of a Program Specializer. 666-680 BibTeX
David Sands: Proving the Correctness of Recursion-Based Automatic Program Transformations. 681-695 BibTeX

Concurrency

Kevin Lano: Reactive System Specification and Refinement. 696-710 BibTeX
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval: Measuring Concurrency of Regular Distributed Computations. 711-725 BibTeX
Luc Moreau: Non-Speculative and Upward Invocation of Continuations in a Parallel Language. 726-740 BibTeX

Specifications

Didier Bert, Catherine Oriat: A Model Inference System for Generic Specification with Application to Code Sharing. 741-755 BibTeX
Hubert Baumeister: Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. 756-771 BibTeX
Ina Schieferdecker: Performance-Oriented Formal Specifications - the LotoTis Approach. 772-786 BibTeX

TOOLS

Paul Le Guernic: Signal: A Formal Design Environment for Real-Time Systems. 789-790 BibTeX
Bernhard Steffen, Tiziana Margaria, Andreas Claßen: The META-Frame: An Environment for Flexible Tool Management. 791-792 BibTeX
Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe: STeP: The Stanford Temporal Prover. 793-794 BibTeX
Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson: The HOL-UNITY Verification System. 795-796 BibTeX
Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque: PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. 797-798 BibTeX
Bruno Marre: LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications. 799-800 BibTeX
Egidio Astesiano, Gianna Reggio, Franco Morando: The SMoLCS ToolSet. 801-802 BibTeX
Mark van den Brand, Eelco Visser: The Asf+Sdf Meta-Environment Documentation Tools for Free! 803-804 BibTeX
B-Core: The B-Toolkit Demonstration. 805-806 BibTeX
Luiz Carlos Castro Guedes, Edward Hermann Haeusler, José Lucas Rangel: Object Oriented Semantics Directed Compiler Generation: A Prototype. 807-808 BibTeX