Research Catalog

Title

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud, eds.

Author

International Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France)

Publication

Berlin ; New York : Springer-Verlag, ©1993.

Items in the Library & Off-site

Details

Additional Authors

• Gaudel, M.-C. (Marie-Claude)
• Jouannaud, Jean-Pierre.
• Colloquium on Trees in Algebra and Programming (1993 : Orsay, France)
• FASE (Conference) (1993 : Orsay, France)

Description

xii, 761 pages : illustrations; 24 cm.

Summary

"This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 668

Uniform Title

Lecture notes in computer science ; 668.

Alternative Title

Theory and practice of software development.

Subject

• Computer software > Development > Congresses
• Computer software > Development
• Software
• Logiciels > Développement > Congrès
• Génie logiciel > Congrès

Genre/Form

Conference papers and proceedings.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Invited Survey. Goldilocks and the Three Specifications / J.V. Guttag -- Invited Conference. On Relating Some Models for Concurrency / P. Degano, R. Gorrieri and S. Vigna -- CAAP: Specifications and Proofs. Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages / H. Ehrig, R.M. Jimenez and F. Orejas. Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications / K. Becker. Associative-Commutative Discrimination Nets / L. Bachmair, T. Chen and I.V. Ramakrishnan -- FASE: Case Studies in Formal Design and Development. Algebraic Specification and Development in Geometric Modeling / Y. Bertrand, J.-F. Dufourd, J. Francon and P. Lienhardt. A Case Study in Transformational Design of Concurrent Systems / E.-R. Olderog and S. Rossig. Yeast: A Case Study for a Practical Use of Formal Methods / P. Inverardi, B. Krishnamurthy and D. Yankelevich -- Invited Conference.
• Verification and Comparison of Transition Systems / A. Arnold -- Invited Survey. Constraining Interference in an Object-Based Design Method / C.B. Jones -- CAAP: Concurrency. From pi-calculus to Higher-Order pi-calculus -- and back / D. Sangiorgi. Hyperedge Replacement with Rendezvous / G. David, F. Drewes and H.-J. Kreowski. True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication / J.-M. Andreoli, L. Leth, R. Pareschi and B. Thomsen -- FASE: Compositionality, Modules and Development. A General Framework for Modular Implementations of Modular System Specifications / M. Bidoit and R. Hennicker. Specifications Can Make Programs Run Faster / M.T. Vandevoorde. Application of the Composition Principle to Unity-like Specifications / P. Collette -- Invited Conference. Trees, Ordinals and Termination / N. Dershowitz -- CAAP: Automata and Counting. When is a Functional Tree Transduction Deterministic? / H. Seidl.
• Automata on Infinite Trees with Counting Constraints / D. Beauquier and D. Niwinski. Directed Column-Convex Polyominoes by Recurrence Relations / E. Barcucci, R. Pinzani and R. Sprugnoli -- FASE: Formal Development. Object Organisation in Software Environments for Formal Methods / J. Han and J. Welsh. Monads, Indexes and Transformations / F. Bellegarde and J. Hook. A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions / R. Pena and L.M. Alonso -- Invited Survey. Applications of Type Theory / B. Mahr -- CAAP: Constraints Solving. Feature Automata and Recognizable Sets of Feature Trees / J. Niehren and A. Podelski. About the Theory of Tree Embedding / A. Boudet and H. Comon. Linear Unification of Higher-Order Patterns / Z. Qian.
• Gate Splitting in LOTOS Specifications Using Abstract Interpretation / F. Giannotti and D. Latella -- Invited Survey. Constructing Systems as Objects Communities / H.-D. Ehrich, G. Denker and A. Sernadas -- CAAP: Rewriting. Term Rewriting in CTS / A. Corradini. Optimal Reductions in Interaction Systems / A. Asperti and C. Laneve. Optimal Solutions to Pattern Matching Problems / L. Puel and A. Suarez -- FASE: Verification of Concurrent Systems. Testing for a Conformance Relation Based on Acceptance / M.Y. Yao and G. v. Bochmann. Testability of a Communicating System through an Environment / K. Drira, P. Azema, B. Soulas and A.-M. Chemali. Automating (Specification [actual symbol not reproducible] Implementation) Using Equational Reasoning and LOTOS / C. Kirkwood.
• Invited Survey. On the Ehrenfeucht-Fraisse Game in Theoretical Computer Science / W. Thomas -- CAAP: Logic and Trees. On Asymptotic Probabilities in Logics that Capture DSPACE(log n) in Presence of Ordering / J. Tyszkiewicz.
• A Propositional Dense Time Logic / M. Ahmed and G. Venkatesh. La Vraie Forme d'un Arbre / J. Betrema and A. Zvonkin -- FASE: Model Checking. Model Checking Using Net Unfoldings / J. Esparza. Reachability Analysis on Distributed Executions / C. Diehl, C. Jard and J.-X. Rampon. Property Preserving Abstractions under Parallel Composition / S. Graf and C. Loiseaux -- Invited Conference. Types as Parameters / G. Longo -- CAAP-FASE: Type Inference. Polymorphic Type Inference with Overloading and Subtyping / G.S. Smith. Type Reconstruction with Recursive Types and Atomic Subtyping / J. Tiuryn and M. Wand -- CAAP: Analysis of Algorithms. (Un)expected Path Lengths of Asymmetric Binary Search Trees / U. Trier. Trie Size in a Dynamic List Structure / G. Louchard -- FASE: Parallel Calculus. A Fully Parallel Calculus of Synchronizing Processes / D. Latella and P. Quaglia. Generic Systolic Arrays: A Methodology for Systolic Design / P. Gribomont and V. Van Dongen.

ISBN

• 3540566104
• 9783540566106
• 0387566104
• 9780387566108

LCCN

93010178

OCLC

• ocm27814635
• 27814635
• SCSB-1982391

Owning Institutions

Princeton University Library