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.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
As Coordinator of the COMPASS Working Group for seven years, I would like to take this opportunity to look back on what we set out to achieve, what we achieved, and what our future might be. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
specification interchange format, curry rules, partial evaluation domain, colimit computation, complete deduction calculus, constrained narrowing, actual sequent, free functor semantics, modular orientation, reification logic, term rewriting specification, decreasing substitutions, institution morphisms, coalgebraic structure, oracle framework, structure preserving functors, equational signatures, observable sentences, static data type, fitting morphism, innermost rewriting, approximation predicates, copy category, comprehensive algebraic approach, underlying precedence Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer Verlag, Joseph Goguen, International Conference, Prentice Hall, Cambridge University Press, Andrzej Tarlecki, Larch Shared Language, University of Edinburgh, Acta Informatica, Science of Computer Programming, Hartmut Ehrig, Horst Reichel, International Workshop, Michel Bidoit, Oxford University Press, Annotated Bibliography, Artificial Intelligence, Elsevier Science Publishers, Formal Aspects of Computing, Larch Prover, Oxford University Computing Laboratory, Martin Wirsing, Paris Sud, World Scientific, Abstract Rewriting Machine New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
As Coordinator of the COMPASS Working Group for seven years, I would like to take this opportunity to look back on what we set out to achieve, what we achieved, and what our future might be. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
specification interchange format, curry rules, partial evaluation domain, colimit computation, complete deduction calculus, constrained narrowing, actual sequent, free functor semantics, modular orientation, reification logic, term rewriting specification, decreasing substitutions, institution morphisms, coalgebraic structure, oracle framework, structure preserving functors, equational signatures, observable sentences, static data type, fitting morphism, innermost rewriting, approximation predicates, copy category, comprehensive algebraic approach, underlying precedence Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer Verlag, Joseph Goguen, International Conference, Prentice Hall, Cambridge University Press, Andrzej Tarlecki, Larch Shared Language, University of Edinburgh, Acta Informatica, Science of Computer Programming, Hartmut Ehrig, Horst Reichel, International Workshop, Michel Bidoit, Oxford University Press, Annotated Bibliography, Artificial Intelligence, Elsevier Science Publishers, Formal Aspects of Computing, Larch Prover, Oxford University Computing Laboratory, Martin Wirsing, Paris Sud, World Scientific, Abstract Rewriting Machine New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 64
books:
See all 64 books this book cites
- Computer Science by Richard Jones on 7 pages
- Category Theory for Computing Science by Michael Barr on 5 pages
- Larch: Languages and Tools for Formal Specification (Monographs in Computer Science) by John V. Guttag on 4 pages
- Current Trends in Programming Methodology by Eng on 4 pages
- Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science) by Teodor Rus on page 221, page 377, and Back Matter
See all 64 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Modeling & Simulation
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Databases
- Books > Computers & Technology > Programming > Algorithms > Data Structures
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
