This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Ind...
详细信息
ISBN:
(数字)9783540460305
ISBN:
(纸本)9783540505174
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database theory, logicprogramming, programming Methodology, theory of Algorithms, Semantics and Complexity.
A large amount of the capacity of today’s computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number c...
详细信息
ISBN:
(数字)9783540855217
ISBN:
(纸本)9783540855200
A large amount of the capacity of today’s computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri?ed - plementations of real number algorithms using ?nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti?c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on “Reliable Imp- mentation of Real Number Algorithms: theory and practice,” which took place January 8–13, 2006. It was intended to stimulate an exchange of ideas between the di?erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di?erent countries and many di?erent disciplines gathered in the castle of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di?erent theoretical models and practical - proaches for reliable real number computations.
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 consisted of three parts: - Advanced Seminar on Fo...
详细信息
ISBN:
(数字)9783540461166
ISBN:
(纸本)9783540509394
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 consisted 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.
This volume presents the proceedings of the First International Workshop on theory and practice of Parallel programming, TPPP '94, held in Sendai, Japan in November 1994.;Besides 9 full paper versions of the invit...
详细信息
ISBN:
(数字)9783540492184
ISBN:
(纸本)9783540591726
This volume presents the proceedings of the First International Workshop on theory and practice of Parallel programming, TPPP '94, held in Sendai, Japan in November 1994.;Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for inclusion in this volume. TPPP '94 focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programs, semantics of languages, implementation of languages and systems, and architectural support for parallellism and massively parallel computation.
logicprogramming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities,research institutes, and industry are real...
详细信息
ISBN:
(数字)9783540473121
ISBN:
(纸本)9783540559306
logicprogramming enjoys a privileged position. It is firmly
rooted in mathematical logic, yet it is also immensely
practical, as a growing number of users in universities,
research institutes, and industry are realizing. logicprogramming languages, specifically Prolog, have turned out
to be ideal as prototyping and application development
languages.
This volume presents the proceedings of the Second logicprogramming Summer School, LPSS'92. The First logicprogramming Summer School, LPSS '90, addressed the
theoretical foundations of logicprogramming. This volume
focuses onthe relationship between theory and practice, and
on practical applications.
The introduction to the volume is by R. Kowalski, one of the
pioneers in the field. The following papers are organized
into sections on constraint logicprogramming, deductive
databases and expert systems, processing of natural and
formal languages, software engineering, and education.
This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.;The volume presents 13 r...
详细信息
ISBN:
(数字)9783540692058
ISBN:
(纸本)9783540631743
This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.;The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and practice of Constraint programming, CP 2014, held in Lyon, France, in September 2014.;The 65 revised pap...
详细信息
ISBN:
(数字)9783319104287
ISBN:
(纸本)9783319104270
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and practice of Constraint programming, CP 2014, held in Lyon, France, in September 2014.;The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.
暂无评论