Logic Programming '87

Logic Programming '87

Author: Koichi Furukawa

Publisher: Springer Science & Business Media

Published: 1988-06-22

Total Pages: 340

ISBN-13: 9783540194262

DOWNLOAD EBOOK

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.


Functional And Logic Programming - Proceedings Of The Second Fuji International Workshop

Functional And Logic Programming - Proceedings Of The Second Fuji International Workshop

Author: Tetsuo Ida

Publisher: World Scientific

Published: 1997-03-18

Total Pages: 330

ISBN-13: 9814546690

DOWNLOAD EBOOK

This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and concurrency.


Functional And Logic Programming - Proceedings Of The Fuji International Workshop

Functional And Logic Programming - Proceedings Of The Fuji International Workshop

Author: Masato Takeichi

Publisher: World Scientific

Published: 1995-11-16

Total Pages: 342

ISBN-13: 981454860X

DOWNLOAD EBOOK

This volume is a compilation of the papers presented at the Fuji International Workshop on Functional and Logic Programming in Fuji, Susono, Japan. Topics include Language Design, Formal Semantics, Compilation Techniques, Program Transformation, Programming Methods, etc.


MFDBS 87

MFDBS 87

Author: Joachim Biskup

Publisher: Springer Science & Business Media

Published: 1988-04-01

Total Pages: 260

ISBN-13: 9783540191216

DOWNLOAD EBOOK

This volume contains the 13 best of the 18 papers presented at the first MFDBS conference held in Dresden, GDR, January 19-23, 1987. A short summary of the two panel discussions is also included. The volume is intended to be a reflection of the current state of knowledge and a guide to further development in database theory. The main topics covered are: theoretical fundaments of the relational data model (dependency theory, design theory, null values, query processing, complexity theory), and of its extensions (graphical representations, NF2-models), conceptual modelling of distributed database management systems and the relationship between logic and databases.


High Performance Transaction Systems

High Performance Transaction Systems

Author: Dieter Gawlick

Publisher: Springer Science & Business Media

Published: 1989-04-26

Total Pages: 348

ISBN-13: 9783540510857

DOWNLOAD EBOOK

This Lecture Notes volume is based on the "International Workshop on High Performance Transaction Systems" held in the Asilomar Conference Center, September 28-30, 1987. Many of the problems identified during the workshop are liable to determine the future development of transaction systems and distributed high performance systems in general for many years to come. So the organizers of HPTS '87 felt encouraged to collect the papers presented at the workshop in order to make them accessible to a wider audience of interested developers and researchers. Since some of the contributions represented work in progress, the authors agreed to prepare revised and updated versions of their papers for this publication. This accounts for the long delay between the event itself and the publication, but on the other hand it provides the reader with a state-of-the-art account of transaction processing topics. The book is organized according to the major sections of the workshop. In the network section the reader finds an analysis of two of the major "paradigms" in networking, ISO/OSI and SNA, from the perspective of transaction processing. In the next section four different transaction processing and database systems are described: Model 204 - a database management system marketed by Computer Corporation of America, Tandem's NonStop SQL, Citicorp's transaction processing system and ALCS, which basically is a version of TPF running under MVS/XA. The section on architectural issues contains four very different contributions which are fairly representative of the type of problems in transaction systems investigated in the research community. Finally, performance evaluations and system comparisons are presented.


Advances in Computing and Information - ICCI '90

Advances in Computing and Information - ICCI '90

Author: Selim G. Akl

Publisher: Springer Science & Business Media

Published: 1990

Total Pages: 550

ISBN-13: 9783540535041

DOWNLOAD EBOOK

This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.


Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Author: Mathai Joseph

Publisher: Springer Science & Business Media

Published: 1988-09-14

Total Pages: 244

ISBN-13: 9783540503026

DOWNLOAD EBOOK

This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It contains 25 revised papers and related discussions that concentrate on the integration of Database Technology (deductive databases, extended relational technology, object-oriented systems) and Artificial Intelligence (in particular logic programming and knowledge representation). The emphasis of the book is on the integration of DB/AI technology required for knowledge Base Management Systems. The book isolates major conceptual contributions, systems extensions, and reseach directions that lead towards that goal. This book is a European counterpart to another volume in the Topics in Information Systems Series, 'On Knowledge Base Management Systems', resulting from a North American workshop and edited by M. Brodie and J. Mylopoulos, which concentrates on theoretical results and the more abstract levels of Knowledge Base Management.


TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

Author: Josep Diaz

Publisher: Springer Science & Business Media

Published: 1989-02-27

Total Pages: 402

ISBN-13: 9783540509400

DOWNLOAD EBOOK

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.