Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Tech

ISBN-13: 9783540198529 / Angielski / Miękka / 1993 / 416 str.

Maurice Nivat; Charles Rattray; Teodor Rus

Opis

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received."

Spis treści

Opening Address by the Rector of the University of Twente.- Welcoming Address AMAST’93.- Invited Papers.- Applying Algebraic Logic to Logic.- Relation Algebras for Reasoning About Time and Space.- On the Value of Commutative Diagrams in Information Modelling.- Rigorous Specification of Real-Time Systems.- Full Abstraction in Structural Operational Semantics (Extended Abstract).- Synchronous Observers and the Verification of Reactive Systems.- Constraints in Term Algebras (Short Survey).- Joining Abstract and Concrete Computations in Constraint Logic Programming.- Communications.- Dimension-Complemented Lambda Abstraction Algebras.- Parameterized Recursion Theory—A Tool for the Systematic Classification of Specification Methods.- Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-Time Reflection.- A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.- Peirce Algebras (Extended Abstract).- Comparing Two Different Approaches to Products in Abstract Relation Algebra.- Specifying Type Systems with Multi-Level Order-Sorted Algebra.- An Overview of the SODA System.- Category Theory for the Configuration of Complex Systems.- Algebraic-Oriented Institutions.- On the Correctness of Modular Systems.- Interaction Between Algebraic Specification Grammars and Modular System Design.- Specification of Hybrid Systems in CRP.- Real-Time Program Synthesis from Specifications.- On the Coverage of Partial Validations.- Verifying Communication Protocols via Testing-Projection.- Equivalences of Transition Systems in an Algebraic Framework.- Semantics Frameworks for a Class of Modular Algebraic Nets.- A Characterization of LOTOS Representable Networks of Parallel Processes.- Towards Performance Evaluation in Process Algebras.- Translation Results for Modal Logics of Reactive Systems.- Modal Action Logic in a Practical Specification Language.- On Using a Composition Principle to Design Parallel Programs.- A Notion of Refinement for Automata.- The Role of Memory in Object-Based and Object-Oriented Languages.- Abstract and Concrete Objects—An Algebraic Design Method for Object-Based Systems.- Towards an Algebraic Theory of Inheritance in Object Oriented Programming.- An Object-Oriented Design for the ACT ONE Environment.- A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).- Completeness of Equational Definitions over Predefined Algebras.- An Algebraic Approach to Modeling in Software Engineering.- Automated Proof of the Correctness of a Compiling Specification.- System Demonstrations.- RELVIEW—A Computer System for the Manipulation of Relations.- RALF—A Relation-Algebraic Formula Manipulation System and Proof Checker.- Towards an Integrated Environment for Concurrent Programs Development.- The LOTOS Toolbox.- The ASF + SDF Meta-Environment.- Executing Action Semantic Descriptions Using ASF + SDF.- Author Index.