Maurice Nivat

Akira Nakamura

Ahmed Saoudi

Patrick S.P. Wang

Katsushi Inoue

This volume contains the papers selected for presentation at the Second International Conference on Parallel Image Analysis (ICPIA '92), held in Ube, Japan, December 21-23, 1992. The conference topics are data structures, parallel algorithms and architectures, neural networks, computational vision, syntactic generation and recognition, and multidimensional models. The first meeting with these topics was theInternational Colloquium on Parallel Image Processing, which took place in Paris in June 1991. The aim of the meetings is to bring together specialistsfrom various countries who are interested in the topics and to stimulatetheoretical and practical research in the field of parallel image processingand analysis. The volume contains three invited papers, a summary of a tutorial lecture, and twenty selected and refereed communications.

Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings

Parallel Image Analysis

Teodor Rus

Charles Rattray

Giuseppe Scollo

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.

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

Algebraic Methodology and Software Technology (AMAST’93)

V.S. Alagar

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.

4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Algebraic Methodology and Software Technology

Hartmut Ehrig

Christiane Floyd

James Thatcher

Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in this way, focusing on the conceptual developments which made them possible. The resulting volume covers a variety of software development issues, and testifies to the versality of algebraic methods when used as conceptual tools in the software development process. It features a distinguished collection of invited papers from leading researchers in the field, many of which break new ground, or represent an important step forward in current research. Among the specific topics covered are: language design; compiler construction; software testing; symbolic computation and partial evaluation; incremental implementation; and the verification of program and specification properties. Algebraic Methodology and Software Technology (AMAST '91) provides a comprehensive overview of this important field of science. It will provide invaluable reading for students and researchers, both in industry and academia.

Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991

Algebraic Methodology and Software Technology (AMAST'91)

John C. Reynolds

This book, which contains contributions from leading researchers in France, USA and Great Britain, gives detailed accounts of a variety of methods for describing the semantics of programming languages, i.e. for attaching to programs mathematical objects that encompass their meaning. Consideration is given to both denotational semantics, where the meaning of a program is regarded as a function from inputs to outputs, and operational semantics, where the meaning includes the sequence of states or terms generated internally during the computation. The major problems considered include equivalence relations between operational and denotational semantics, rules for obtaining optimal computations (especially for nondeterministic programs), equivalence of programs, meaning-preserving transformations of programs and program proving by assertions. Such problems are discussed for a variety of programming languages and formalisms, and a wealth of mathematical tools is described.

Algebraic Methods in Semantics

Proceedings of a symposium organized by IRIA, July 3-7, 1972

AUTOMATA, LANGUAGES AND PROGRAMMING

Maurice Nivat

About

Books

Join the club