This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the se...
详细信息
ISBN:
(数字)9783642250323
ISBN:
(纸本)9783642250316
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: theory and practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on theory and Pra...
详细信息
ISBN:
(数字)9783642287299
ISBN:
(纸本)9783642287282
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on theory and practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.
The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
ETAPS 2006 was the ninth instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new co...
详细信息
ISBN:
(数字)9783540330516
ISBN:
(纸本)9783540330509
ETAPS 2006 was the ninth instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
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.
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.
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.
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.
暂无评论