TAPSOFT 91 Volume 2

1991 . Vol . 474 : D. Karagiannis ( Ed . ) , Information Systems and Artificial Intelligence : Integration Aspects . ... 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2 . Proceedings , 1991. VIII , 482 pages .

TAPSOFT  91   Volume 2

"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE.

VDM 91 Formal Software Development Methods 4th International Symposium of VDM Europe Noordwijkerhout The Netherlands October 21 25 1991 Proceedings

1991 . Vol . 490 : J. A. Bergstra , L. M. G. Feijs ( Eds . ) , Algebraic Methods II : Theory , Tools and Applications . ... 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages .

VDM  91  Formal Software Development Methods  4th International Symposium of VDM Europe  Noordwijkerhout  The Netherlands  October 21 25  1991  Proceedings

The proceedings of the fourth Vienna Development MethodSymposium, VDM '91, are published here in two volumes.Previous VDM symposia were held in 1987 (LNCS 252), 1988(LNCS 328), and 1990 (LNCS 428).The VDM symposia have been organized by the VDM Europe,formed in 1985 as an advisory board sponsored by theCommission of the European Communities. The VDM Europeworking group consisted of reasearchers, software engineers,and programmers, all interested in prommoting the industrialusage of formal methods for software development. The fourthVDM symposium presented not only VDM but also a large numberof other methods for formal software development.Volume 1 contains the conference contributions. It has fourparts: contributions of invited speakers, papers, projectreports, and tools demonstration abstracts. The emphasis ison methods and calculi for development, verification andverification tools support, experiences from doingdevelopments, and the associated theoretical problems.Volume2 contains four introductory tutorials (on LARCH,Refinement Calculus, VDM, and RAISE) and four advancedtutorials (on ABEL, PROSPECTRA, THE B Method, and TheStack). They present a comprehensive account of the state oftheart.

CONCUR 91

1991 . Vol . 511 : A. C. F. Colchester , D.J. Hawkes ( Eds . ) , Information Processing in Medical Imaging . ... 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT 91. Volume 2. Proceedings , 1991. VIII , 482 pages . 1991 . Vol .

CONCUR  91

CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. This proceedings volume contains 4 invited and 30 selected papers on all aspects of concurrency.

TAPSOFT 97 Theory and Practice of Software Development

In Abramsky and Maibaum , eds . , TAPSOFT '91 , Volume 2 , vol . 494 of LNCS , pp . 297–312 . Springer , 1991 . 5. L. Castellano , G. De Michelis , and L. Pomello . Concurrency vs. interleaving : An instructive example . Bull .

TAPSOFT 97  Theory and Practice of Software Development

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.

Advances in Petri Nets 1991

Volume 1. Proceedings . 1991. VIII . 455 pages . 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) . TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII . 482 pages . 1991 . Vol . 495 : 9. Thalheim .

Advances in Petri Nets 1991

This volume presents the proceedings of the 11th International Conference on Applications and Theory of Petri Nets held in Paris in 1991. It contains the Bibliography of Petri Nets 1990, with over 4000 entries.

Parallel Execution of Logic Programs

VIII , 442 pages . 1991 . Vol . 490 : J. A. Bergstra , L. M. G. Feijs ( Eds . ) , Algebraic Methods II : Theory , Tools and ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991.

Parallel Execution of Logic Programs

The papers included in this volume were presented at the Workshop on Parallel Logic Programming held as part of the 8th International Conference on Logic Programming. The papers represent the state of the art and report current research, including many new results.

Word Equations and Related Topics

VIII , 442 pages . 1991 . Vol . 490 : J. A. Bergstra , L. M. G. Feijs ( Eds . ) , Algebraic Methods II : Theory , Tools and ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991.

Word Equations and Related Topics

This volume contains papers presented at the first international workshop on word equations and related topics. The annual workshop is a forum for researchers interested in associative unification and list processing.

Algebraic Coding

VIII , 442 pages . 1991 . Vol . 490 : J. A. Bergstra , L. M. G. Feijs ( Eds . ) , Algebraic Methods II : Theory , Tools and ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991.

Algebraic Coding

This volume presents the proceedings of the first French-Soviet workshop on algebraic coding. The papers fall into four categories: applications of exponential sums, covering radius, constructions, and decoding.

Fundamentals of Computation Theory

1991 . Vol . 493 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 1. Proceedings , 1991. VIII , 455 pages . 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991.

Fundamentals of Computation Theory

This volume contains selected papers from FCT '91. Topics covered include: semantics and logical concepts, automata and formal languages, computational geometry, complexity, algorithms, and counting and combinatorics.

Programming Language Implementation and Logic Programming

494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages . 1991 . Vol . 495 : 9. Thalheim , J. Demetrovics , H.-D. Gerhardt ( Eds . ) , MFDBS '91 . Proceedings , 1991.

Programming Language Implementation and Logic Programming

This volume contains invited and selected papers presented at the symposium PLILP '91. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages.

ESOP 92

494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages . 1991 . Vol . 495 : 9. Thalheim , J. Demetrovics , H.-D. Gerhardt ( Eds . ) , MFDBS '91 . Proceedings , 1991.

ESOP  92

This volume contains selected papers from ESOP '92. ESOP addresses fundamental issues and important developments in the specification and implementation of programming languages and systems.

Graph Theoretic Concepts in Computer Science

VIII , 442 pages . 1991 . Vol . 490 : J. A. Bergstra , L. M. G. Feijs ( Eds . ) , Algebraic Methods II : Theory , Tools and ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991.

Graph Theoretic Concepts in Computer Science

This volume contains contributions to the 17th of a series of annual workshops for researchers using graph-theoretic methods in computer science.

Algebraic Specification Techniques in Object Oriented Programming Environments

Vol . 477 : D. Hammer ( Ed . ) , Compiler Compilers . Proceedings , 1990. VI , 227 pages . 1991 . Vol . ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages .

Algebraic Specification Techniques in Object Oriented Programming Environments

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.

The Problem of Incomplete Information in Relational Databases

Vol . 479 : H. Schmidt , Meta - Level Control for Deductive Database Systems . VI , 155 pages . 1991 . Vol ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages .

The Problem of Incomplete Information in Relational Databases

Reviews of Environmental Contamination and Toxicology publishes authoritative reviews on the occurrence, effects, and fate of pesticide residues and other environmental contaminants. It will keep you informed of the latest significant issues by providing in-depth information in the areas of analytical chemistry, agricultural microbiology, biochemistry, human and veterinary medicine, toxicology, and food technology.

Temporally Distributed Symptoms in Technical Diagnosis

Volume 1. Proceedings , 1991. VIII , 455 pages . 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT 91. Volume 2. Proceedings , 1991. VIII , 482 pages . 1991 . Vol . 495 : 9. Thalheim , J. Demetrovics , H.-D. Gerhardt ...

Temporally Distributed Symptoms in Technical Diagnosis

This book presents a novel approach to the representation and recognition of temporally distributed systems. Researchers will be interested in the theory regarding expressiveness and complexity, and for prospective users there are embeddings into both an associative and a model-based diagnostic framework.

Truth Maintenance Systems

Proceedings , 1991. VIII , 455 pages . 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages . 1991 . Vol . 495 : 9. Thalheim , J. Demetrovics , H.-D. Gerhardt ( Eds ...

Truth Maintenance Systems

This volume presents ten selected papers relating to the Truth Maintenance Workshop, August 1990, Stockholm. The main themes are: meta-level control, extensions of Truth Maintenance Systems, foundations, and belief revision.

EUROCODE 90

VIII , 500 pages . 1991 . Vol . 474 : D. Karagiannis ( Ed . ) , Information Syetems and Artificial Intelligence : Integration ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991.

EUROCODE  90

This book presents papers from EUROCODE '90. It gives the state of the art on coding in Europe and ranges from theoretical topics like algebraic geometry and combinatorial coding to applications like modulation, real-space decoding and VLSI implementation.

Algorithms and Data Structures

VIII , 500 pages . 1991 . Vol . 474 : D. Karagiannis ( Ed . ) , Information Syetems and Artificial Intelligence : Integration ... 1991 . Vol . 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991.

Algorithms and Data Structures

This volume presents the proceedings of the Second Workshop on Algorithms and Data Structures (WADS '91), held in Carleton University, Canada. The workshop alternates with the Scandinavian Workshop on Algorithm Theory (SWAT).

Computer Aided Verification

VIII , 442 pages . 1991 . Vol . 490 : J. A. Bergstra , L. M. G. Feijs ( Eds . ) , Algebraic Methods II : Theory , Tools ... 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages .

Computer Aided Verification

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification - as distinguished, say,from attributes of logics or formal languages. The considerable interest generated by the first workshop, held in Grenoble, June 1989 (see LNCS 407), prompted this second meeting. The general focus of this volume is on the problem of making formal verification feasible for various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool, and exercise that tool on realistic examples: the workshop included sessionsfor the demonstration of new verification tools.

Attribute Grammars Applications and Systems

VIII , 442 pages . 1991 . Vol . 490 : J. A. Bergstra , L. M. G. Feijs ( Eds . ) , Algebraic Methods II : Theory , Tools ... 494 : S. Abramsky , T. S. E. Maibaum ( Eds . ) , TAPSOFT '91 . Volume 2. Proceedings , 1991. VIII , 482 pages .

Attribute Grammars  Applications and Systems

This volume presents the proceedings of a summer school aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. The papers are suited for self-study and for introductory courses.