Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings (Q1187686)

[The articles of this volume will not be indexed individually.] Contents: Part I. Algebraic specification. \textit{H. Partsch}, Algebraic specification: A step towards future software engineering (pp. 7-30), How algebraic specifications are included in the wide spectrum language CIP-L is presented; \textit{M. Bidoit}, \textit{M.-C. Gaudel} and \textit{A. Mauboussin}, How to make algebraic specifications more understandable? (pp. 31-68), The specification of a subset of the UNIX file system is used for presenting and evaluating the specification language PLUSS; \textit{H. Klaeren} and \textit{K. Indermark}, Efficient implementation of an algebraic specification language (pp. 69-90), A new technique for compiling specifications with structural recursive axioms is defined; \textit{E. Astesiano}, \textit{A. Giovini}, \textit{G. Reggio} and \textit{E. Zucca}, An integrated algebraic approach to the specification of data types, processes and objects (pp. 91-116), Concurrent processes are specified using (high-order) partial algebraic specifications; \textit{H. Reichel}, Software specification by behavioural canons (pp. 117-135), Classes of ``behavioural'' models (models which do not satisfy exactly the axioms of the specification, the axioms are satisfied up to behavioural equivalence) are studied. Part II. The design language COLD. \textit{H. B. M. Jonkers}, An introduction to COLD-K (pp. 139-206), An informal introduction to kernel language COLD-K which contains all essential semantics features of COLD is given; \textit{W. E. Baats}, \textit{L. M. G. Feijs} and \textit{J. H. A. Gelissen}, A formal specification of INGRES (pp. 207-246), A case study in the application of COLD-K as a specification language is described; \textit{C. P. J. Koymans} and \textit{G. R. Renardel de Lavalette}, The logic \(MPL_ \omega\) (pp. 247-282), The logical framework \(MPL_ \omega\), which is the basis for the semantics of classes is presented; \textit{H. B. M. Jonkers}, Description algebra (pp. 283-306), The basis for the modularization constructs of COLD-K is presented; \textit{L. M. G. Feijs}, The calculus \(\lambda\pi\) (pp. 307-328), A special version of the lambda calculus, which is used to give a meaning to the parametrization constructs of COLD-K is introduced. Part III. Rapid prototyping with algebraic specification. \textit{H. Hussmann} and \textit{A. Geser}, The RAP system as a tool for testing COLD specifications (pp. 331-346), The RAP system is described from the user's point of view; \textit{A. Geser}, A specification of the intel 8085 Microprocessor: A case study (pp. 347-402), The specification covers the machine instructions and their observable effects; \textit{H. Hussmann} and \textit{Ch. Rank}, Specification and prototyping of a compiler for a small applicative language (pp. 403-418), A simple applicative language with recursive functions into stack-oriented target code is treated; \textit{L. Lavazza} and \textit{S. Crespi-Reghizzi}, Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype (pp. 419-444), An algebraic specification of the language ALGRES for expressing relations and relational algorithms is developed. Part IV. An algebraic approach to concurrency. \textit{J. A. Bergstra} and \textit{J. W. Klop}, \(ACP_ \tau\): A universal axiom system for process specification, (pp. 447-464), A presentation of \(ACP_ \tau\) in several intermediate stages starting with a very simple axiom system is given; \textit{R. van Glabbeek} and \textit{F. Vaandrager}, Modular specifications in process algebra with curious queues (pp. 465- 506), A language of modules similar to the one used by Jonkers in his paper is defined; \textit{S. Mauw}, An algebraic specification of process algebra, including two examples (pp. 507-554), An algebraic specification of the process algebra in COLD is given.