PARLE '92, Parallel Architectures and Languages Europe

PARLE '92, Parallel Architectures and Languages Europe
Author: Daniel Etiemble
Publisher: Springer Science & Business Media
Total Pages: 1012
Release: 1992-06-03
Genre: Computers
ISBN: 9783540555995
GET BOOK

The 1992 Parallel Architectures and Languages Europe conference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, design, and application of parallel computer systems - set by the previous PARLE conferences held in Eindhoven in 1987, 1989, and 1991. This volume contains the 52 regular and 25 poster papers that were selected from 187 submitted papers for presentation and publication. In addition, five invited lectures areincluded. The regular papers are organized into sections on: implementation of parallel programs, graph theory, architecture, optimal algorithms, graph theory and performance, parallel software components, data base optimization and modeling, data parallelism, formal methods, systolic approach, functional programming, fine grain parallelism, Prolog, data flow systems, network efficiency, parallel algorithms, cache systems, implementation of parallel languages, parallel scheduling in data base systems, semantic models, parallel data base machines, and language semantics.

PARLE '91. Parallel Architectures and Languages Europe

PARLE '91. Parallel Architectures and Languages Europe
Author: Emile H.L. Aarts
Publisher: Springer Science & Business Media
Total Pages: 516
Release: 1991-05-28
Genre: Computers
ISBN: 9783540541523
GET BOOK

The innovative progress in the development of parallel computing systems and their increasing availability have caused a rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual Parallel Architectures and Languages Europe (PARLE) conferences aim to present current research on all aspects of the theory, design and application of parallel computing systems and parallel processing.

Programming Languages: Implementations, Logics, and Programs

Programming Languages: Implementations, Logics, and Programs
Author: S.Doaitse Swierstra
Publisher: Springer Science & Business Media
Total Pages: 502
Release: 1996-09-11
Genre: Computers
ISBN: 9783540617563
GET BOOK

This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996. The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages.

Automata, Languages and Programming

Automata, Languages and Programming
Author: Timo Lepistö
Publisher: Springer Science & Business Media
Total Pages: 762
Release: 1988
Genre: Computers
ISBN: 9783540194880
GET BOOK

This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics.

Higher-Order Algebra, Logic, and Term Rewriting

Higher-Order Algebra, Logic, and Term Rewriting
Author: J. Heering
Publisher: Springer Science & Business Media
Total Pages: 362
Release: 1994-07-28
Genre: Computers
ISBN: 9783540582335
GET BOOK

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.

Truth Maintenance Systems

Truth Maintenance Systems
Author: João P. Martins
Publisher: Springer Science & Business Media
Total Pages: 196
Release: 1991-07-24
Genre: Computers
ISBN: 9783540543053
GET BOOK

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.