This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
Logic Based Program Synthesis and Transformation
and over one million other books are available for Amazon Kindle.
Learn more
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:
Unlike imperative programming languages, pure functional languages are referentially transparent so that two occurrences of the same expression evaluate to the same value in the same environment. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
logic functors, abstract partial deduction, squash stable, regular type information, functor prop, regular type analysis, safe destructive updates, state process algebras, updateable variables, abstract conjunctions, conjunctive partial deduction, program specialisation, abstract unfolding, stabilization bound, forge rule, branching transformation, shortcut deforestation, priori correctness, infinite state processes, correct reuse, logical information system, customized logics, typed norms, failing derivations, dynamic logic programming Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Lecture Notes, Artificial Intelligence, International Conference, N-process Bakery Protocol, Springer-Verlag Berlin Heidelberg, Choice Datalogns, Proof of Lemma, Cornell University, Danny De Schreye, The Jungle Book, Ent Ent, New York, Principles of Programming Languages, Proof of Proposition, Springer Verlag, Stefaan Decorte, Common Lisp, Computer Security, Fifth Generation Computer Systems, International Workshop, James Caldwell, Massimo Fabris, Sequent Listl New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Unlike imperative programming languages, pure functional languages are referentially transparent so that two occurrences of the same expression evaluate to the same value in the same environment. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
logic functors, abstract partial deduction, squash stable, regular type information, functor prop, regular type analysis, safe destructive updates, state process algebras, updateable variables, abstract conjunctions, conjunctive partial deduction, program specialisation, abstract unfolding, stabilization bound, forge rule, branching transformation, shortcut deforestation, priori correctness, infinite state processes, correct reuse, logical information system, customized logics, typed norms, failing derivations, dynamic logic programming Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Lecture Notes, Artificial Intelligence, International Conference, N-process Bakery Protocol, Springer-Verlag Berlin Heidelberg, Choice Datalogns, Proof of Lemma, Cornell University, Danny De Schreye, The Jungle Book, Ent Ent, New York, Principles of Programming Languages, Proof of Proposition, Springer Verlag, Stefaan Decorte, Common Lisp, Computer Security, Fifth Generation Computer Systems, International Workshop, James Caldwell, Massimo Fabris, Sequent Listl New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 54
books:
See all 54 books this book cites
- Foundations of Logic Programming (Symbolic Computation : Artificial Intelligence) by John Wylie Lloyd on 5 pages
- Static Analysis by Manuel Hermenegildo in Front Matter, page 109, and page 147
- Model Checking by Edmund M. Clarke Jr. on page 108, and page 127
- Partial Evaluation and Automatic Program Generation (Prentice-Hall International Series in Computer Science) by Neil D. Jones on page 109, and page 166
- Theory and Practice of Concurrency by A. Roscoe on page 90, and page 110
See all 54 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. |
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 > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering
- Books > Computers & Technology > Software
- Books > Medical Books
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
