7. TAPSOFT 1997: Lille, France

Michel Bidoit, Max Dauchet (Eds.): TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings. Lecture Notes in Computer Science 1214 Springer 1997, ISBN 3-540-62781-2 BibTeX

@proceedings{DBLP:conf/tapsoft/1997,
  editor    = {Michel Bidoit and
               Max Dauchet},
  title     = {TAPSOFT'97: Theory and Practice of Software Development, 7th
               International Joint Conference CAAP/FASE, Lille, France, April
               14-18, 1997, Proceedings},
  booktitle = {TAPSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1214},
  year      = {1997},
  isbn      = {3-540-62781-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Panel

Corrado Böhm: Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper). 3-5 BibTeX
Hartmut Ehrig, Bernd Mahr: Future Trends of TAPSOFT. 6-10 BibTeX
Maurice Nivat: New Challenges for Theoretical Computer Science. 11-14 BibTeX
Donald Sannella: What Does the Future Hold for Theoretical Computer Science? 15-19 BibTeX

Lectures

Wolfgang Thomas: Automata Theory on Trees and Partial Orders. 20-38 BibTeX
Frits W. Vaandrager: A Theory of Testing for Timed Automata (Abstract). 39 BibTeX
T. S. E. Maibaum: Conservative Extensions, Interpretations Between Theories and All That! 40-66 BibTeX
Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer: Specification and Proof in Membership Equational Logic. 67-92 BibTeX
Egidio Astesiano, Gianna Reggio: Formalism and Method. 93-114 BibTeX
Peter D. Mosses: CoFI: The Common Framework Initiative for Algebraic Specification and Development. 115-137 BibTeX

CAAP

Rewriting and Automata

Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp: Logicality of Conditional Rewrite Systems. 141-152 BibTeX
Bruno Salinier, Robert Strandh: Simulating Forward-Branching Systems with Constructor Systems. 153-164 BibTeX
Iabelle Biermann, Brigitte Rozoy: Reliable Generalized and Context Dependent Commutation Relations. 165-176 BibTeX
Yves Andre, Francis Bossut: Word-into-Tree Transducers with Bounded Difference. 177-188 BibTeX

Automata and Time

E. Allen Emerson, Richard J. Trefler: Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. 189-200 BibTeX
Danièle Beauquier, Anatol Slissenko: The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages. 201-212 BibTeX
Jean-Michel Ilié, Khalil Ajami: Model Checking Through Symbolic Reachability Graph. 213-224 BibTeX
Eric Goubault: Optimal Implementation of Wait-Free Binary Relations. 225-236 BibTeX

Termination

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema: Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules. 237-248 BibTeX
Thomas Genet, Isabelle Gnaedig: Termination Proofs Using gpo Ordering Constraints. 249-260 BibTeX
Thomas Arts, Jürgen Giesl: Automatically Proving Termination Where Simplification Orderings Fail. 261-272 BibTeX
Jonathan C. Martin, Andy King: Generating Efficient, Terminating Logic Programs. 273-284 BibTeX

Bisimulations and Pi-Calculus

Michael Baldamus, Jürgen Dingel: Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). 285-296 BibTeX
Irek Ulidowski, Iain C. C. Phillips: Formats of Ordered SOS Rules with Silent Actions. 297-308 BibTeX
Marina Lenisa: A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi. 309-320 BibTeX
Franck van Breugel: A Labelled Transition Systems for pi-epsilon-Calculus. 321-332 BibTeX

Set Constraints

Ali Amaniss, Miki Hermann, Denis Lugiez: Set Operations for Recurrent Term Schematizations. 333-344 BibTeX
Martin Müller, Joachim Niehren, Andreas Podelski: Inclusion Constraints over Non-empty Sets of Trees. 345-356 BibTeX
Franck Seynhaeve, Marc Tommasi, Ralf Treinen: Grid Structure and Undecidable Constraint Theories. 357-368 BibTeX

Complexity

Daniel Leivant, Jean-Yves Marion: Predicative Functional Recurrence and Poly-space. 369-380 BibTeX
Robert Muth, Saumya K. Debray: On the Complexity of Function Pointer May-Alias Analysis. 381-392 BibTeX
Tomas Kovacs, Andrzej Lingas: Maximum Packing for Biconnected Outerplanar Graphs. 393-404 BibTeX
Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of a Line of Identical Processors at a Given Time. 405-416 BibTeX

Unifications and Matching

Sabrina Mantaci, Daniele Micciancio: An Algorithm for the Solution of Tree Equations. 417-428 BibTeX
Sébastien Limet, Pierre Réty: E-Unification by Means of Tree Tuple Synchronized Grammars. 429-440 BibTeX
Aleksy Schubert: Linear Interpolation for the Higher-Order Matching Problem. 441-452 BibTeX

Types

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. 453-464 BibTeX
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). 465-477 BibTeX
Fabio Alessi, Paolo Baldan, Furio Honsell: Partializing Stone Spaces using SFP Domains (Extended Abstract). 478-489 BibTeX
Chuck Liang: Let-Polymorphism and Eager Type Schemes. 490-501 BibTeX

FASE

Specifications

José Luiz Fiadeiro, Antónia Lopes: Semantics of Architectural Connectors. 505-519 BibTeX
Gary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. 520-534 BibTeX
Wolfgang May: Specifying Complex and Structured Systems with Evolving Algebras. 535-549 BibTeX

Verification

Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: A Comparison of Modular Verification Techniques. 550-564 BibTeX
Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: A Compositional Proof of a Real-Time Mutual Exclusion Protocol. 565-579 BibTeX
Olaf Müller, Tobias Nipkow: Traces of I/O-Automata in Isabelle/HOLCF. 580-594 BibTeX

Types and Their Applications

Jean-Pierre Talpin: Reactive Types. 595-606 BibTeX
Dennis M. Volpano, Geoffrey Smith: A Type-Based Approach to Program Security. 607-621 BibTeX
Judicaël Courant: An Applicative Module Calculus. 622-636 BibTeX

Real-Time and Distributed Systems

Jan Phillips, Peter Scholz: Compositional Specification of Embedded Systems with Statecharts. 637-651 BibTeX
Vladimir Levin, Doron Peled: Verification of Message Sequence Charts via Template Matching. 652-666 BibTeX
S. Purushothaman Iyer, Murali Narasimha: Probabilistic Lossy Channel Systems. 667-681 BibTeX

Semantics

Martín Abadi, K. Rustan M. Leino: A Logic of Object-Oriented Programs. 682-696 BibTeX
Thomas Schreiber: Auxiliary Variables and Recursive Procedures. 697-711 BibTeX
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Locality Based Linda: Programming with Explicit Localities. 712-726 BibTeX

Static Analysis

Luc Moreau: A Syntactic Theory of Dynamic Binding. 727-741 BibTeX
Peter Thiemann: A Unified Framework for Binding-Time Analysis. 742-756 BibTeX
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak: A Typed Intermediate Language for Flow-Directed Compilation. 757-771 BibTeX

Refinement

Arend Rensink, Roberto Gorrieri: Action Refinement as an Implementation Relations. 772-786 BibTeX
Bart Jacobs: Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. 787-802 BibTeX

Applications of Formal Methods to Software Engineering

Staffan Bonnier, Tim Heyer: COMPASS: A Comprehensible Assertion Method. 803-817 BibTeX
Maritta Heisel, Nicole Lévy: Using LOTOS Patterns to Characterize Architectural Styles. 818-832 BibTeX
Michael R. Donat: Automating Formal Specification-Based Testing. 833-847 BibTeX

TOOLS

Friedrich W. von Henke, Marko Luther, Martin Strecker: Typelab: An Environment for Modular Program Development. 851-854 BibTeX
Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff: TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. 855-858 BibTeX
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV. 859-862 BibTeX
Frédéric Voisin: A new Proof-Manager and Graphic Interface for the Larch Prover. 863-866 BibTeX
Mark Richters, Martin Gogolla: A Web-based Animator for Object Specifications in a Persistent Environment. 867-870 BibTeX
Lubos Mikusiak, Miroslav Adámy, Thomas Seidmann: Publishing Formal Specifications in Z Notation on World Wide Web. 871-874 BibTeX
Klaus Didrich, Torsten Klein: DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL. 875-878 BibTeX
Pascal Caron: AG: A Set of Maple Packages for Symbolic Computing of Automata and Semigroups. 879-882 BibTeX