Category Based Semantics For Equational And Constraint Logic Programming

Author : Răzvan Diaconescu
Publisher :
ISBN 13 : 9780902928916
Total Pages : 120 pages
Book Rating : 4.10/5 ( download)

DOWNLOAD NOW!

Download or read book Category-based Semantics for Equational and Constraint Logic Programming written by Răzvan Diaconescu and published by . This book was released on 1994 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "This thesis proposes a general framework for equational logic programming, called category-based equational logic by placing the general principles underlying the design of the programming language Eqlog and formulated by Goguen and Meseguer into an abstract form. This framework generalises equational deduction to an arbitrary category satisfying certain natural conditions; completeness is proved under a hypothesis of quantifier projectivity, using a semantic treatment that regards quantifiers as models rather than variables, and regards valuations as model morphisms rather than functions. This is used as a basis for a model theoretic category-based approach to a paramodulation- based operational semantics for equational logic programming languages. Category-based equational logic in conjunction with the theory of institutions is used to give mathematical foundations for modularisation in equational logic programming. We study the soundness and completeness problem for module imports in the context of a category-based semantics for solutions to equational logic programming queries. Constraint logic programming is integrated into the equational logic programming paradigm by showing that constraint logics are a particular case of category-based equational logic. This follows the methodology of free expansions of models for built-ins along signature inclusions as sketched by Goguen and Meseguer in their papers on Eqlog. The mathematical foundations of constraint logic programming are based on a Herbrand Theorem for constraint logics; this is obtained as an instance of a more general category-based version of Herbrand's Theorem. The results in this thesis apply to equational and constraint logic programming languages that are based on a variety of equational logical systems including many and order sorted equational logics, Horn clause logic, equational logic modulo a theory, constraint logics, and more, as well as any possible combination between them. More importantly, this thesis gives the possibility for developing the equational logic (programming) paradigm over non-conventional structures and thus significantly extending it beyond its tradition."

Author : Magne Haveraaen
Publisher : Springer Science & Business Media
ISBN 13 : 9783540616290
Total Pages : 568 pages
Book Rating : 4.92/5 ( download)

DOWNLOAD NOW!

Download or read book Recent Trends in Data Type Specification written by Magne Haveraaen and published by Springer Science & Business Media. This book was released on 1996-09-04 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

Author : V.S. Alagar
Publisher : Springer Science & Business Media
ISBN 13 : 9783540600435
Total Pages : 612 pages
Book Rating : 4.34/5 ( download)

DOWNLOAD NOW!

Download or read book Algebraic Methodology and Software Technology written by V.S. Alagar and published by Springer Science & Business Media. This book was released on 1995-05-21 with total page 612 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Author : Razvan Diaconescu
Publisher : World Scientific
ISBN 13 : 9814518239
Total Pages : 196 pages
Book Rating : 4.39/5 ( download)

DOWNLOAD NOW!

Download or read book Cafeobj Report written by Razvan Diaconescu and published by World Scientific. This book was released on 1998-06-30 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software but not only) development process at several levels, including prototyping, specification, and formal verification. This book presents not only the formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity. The presentation of the CafeOBJ concepts is supported by many examples, and an appendix illustrates the power of the language and its methodologies by a larger CASE study including specification, testing, and verification. The book may be used both by software engineers interested in algebraic methodologies, and by students and researchers in software engineering and/or theoretical computing science as a fast introduction to state-of-art algebraic specification. Contents:Basic Specifications:SignaturesModelsSentencesSatisfactionProof SystemStructuring Specifications:Fundamental Semantics ConceptsModule ImportsViewsParameterized ModulesModule ExpressionsBuilt-in ModulesProof Technologies:RewritingInductionCoinductionMethodologies:NondeterminismConcurrent Object CompositionDynamic Systems of ObjectsApplications in Rewriting LogicGeneral Small Methodological Advises Readership: Students, researchers, and practitioners in software engineering and/or theoretical computer science. Keywords:Algebraic Specification;Software Engineering;CafeOBJ;OBJ;Object Oriented;Behavioural Specification;Hidden Algebra;Rewriting Logic;Equational Programming;Equational Specification

Author : Laurent Fribourg
Publisher : Springer
ISBN 13 : 3540448020
Total Pages : 631 pages
Book Rating : 4.20/5 ( download)

DOWNLOAD NOW!

Download or read book Computer Science Logic written by Laurent Fribourg and published by Springer. This book was released on 2003-06-30 with total page 631 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

Author : Kokichi Futatsugi
Publisher : Springer Science & Business Media
ISBN 13 : 354035462X
Total Pages : 679 pages
Book Rating : 4.28/5 ( download)

DOWNLOAD NOW!

Download or read book Algebra, Meaning, and Computation written by Kokichi Futatsugi and published by Springer Science & Business Media. This book was released on 2006-06-22 with total page 679 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

Author : K. Futatsugi
Publisher : Elsevier
ISBN 13 : 9780080528403
Total Pages : 208 pages
Book Rating : 4.06/5 ( download)

DOWNLOAD NOW!

Download or read book CAFE: An Industrial-Strength Algebraic Formal Method written by K. Futatsugi and published by Elsevier. This book was released on 2000-10-06 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective. Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.

Author : Joseph A. Goguen
Publisher : Springer Science & Business Media
ISBN 13 : 147576541X
Total Pages : 428 pages
Book Rating : 4.10/5 ( download)

DOWNLOAD NOW!

Download or read book Software Engineering with OBJ written by Joseph A. Goguen and published by Springer Science & Business Media. This book was released on 2013-11-11 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.

Author : Jeannette M. Wing
Publisher : Springer
ISBN 13 : 3540481184
Total Pages : 955 pages
Book Rating : 4.88/5 ( download)

DOWNLOAD NOW!

Download or read book FM'99 - Formal Methods written by Jeannette M. Wing and published by Springer. This book was released on 2003-07-31 with total page 955 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.

Author : Ioannis Vlahavas
Publisher : Springer Science & Business Media
ISBN 13 : 1461551196
Total Pages : 157 pages
Book Rating : 4.95/5 ( download)

DOWNLOAD NOW!

Download or read book Parallel and Constraint Logic Programming written by Ioannis Vlahavas and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 157 pages. Available in PDF, EPUB and Kindle. Book excerpt: Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. By employing solvers dedicated to each domain instead of the unification algorithm, CLP drastically reduces the search space of the problem, which leads to increased efficiency in the execution of logic programs. CLP offers the possibility of solving complex combinatorial problems in an efficient way, and at the same time maintains the advantages offered by the declarativeness of logic programming. The aim of this book is to present parallel and constraint logic programming, offering a basic understanding of the two fields to the reader new to the area. The first part of the book gives an introduction to the fundamental aspects of conventional logic programming which is necessary for understanding the parts that follow. The second part includes an introduction to parallel logic programming, architectures and implementations proposed in the area. Finally, the third part presents the principles of constraint logic programming. The last two parts also include descriptions of the supporting facilities for the two paradigms in two popular systems; ECLIPSe and SICStus. These platforms have been selected mainly because they offer both parallel and constraint features. Annotated and explained examples are also included in the relevant parts, offering a valuable guide and a first practical experience to the reader. Finally, applications of the covered paradigms are presented. The authors felt that a book of this kind should provide some theoretical background necessary for the understanding of the covered logic programming paradigms, and a quick start for the reader interested in writing parallel and constraint logic programming programs. However it is outside the scope of this book to provide a deep theoretical background of the two areas. In that sense, this book is addressed to a public interested in obtaining a knowledge of the domain, without spending the time and effort to understand the extensive theoretical work done in the field – namely postgraduate and advanced undergraduate students in the area of logic programming. This book fills a gap in the current bibliography, since there is no comprehensive book of this level that covers the areas of conventional, parallel, and constraint logic programming. Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints is appropriate for an advanced level course on Logic Programming or Constraints, and as a reference for practitioners and researchers in industry.