This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic. The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
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:
It is well known that formal proofs can be used for program synthesis and program verification, and this essentially depends on the availability of an information extraction mechanism allowing the capture in an uniform way of the implicit algorithmic content of a proof. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
contextual specialization, probabilistic abstract interpretation, opaque inputs, extended program clause, functor argument positions, initial call patterns, computational type theory, opaque output, analysis registry, logic program transformation, opaque parameters, failure continuation, coupling invariant, positive supercompilation, logical type theory, folding equivalent, narrowing trees, execution depth, narrowing derivation, clause generalization, module refinement, constraint replacement, import graph, closure under substitution, residual programs Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Technical Report, Kung-Kiu Lau, Lecture Notes, Springer-Verlag Berlin Heidelberg, Springer Verlag, Principles of Programming Languages, Cover Set Induction Rule, Monash University, New York, Prentice Hall, Sigplan Notices, End Fig, Computer Society Press, Intl Conf New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
It is well known that formal proofs can be used for program synthesis and program verification, and this essentially depends on the availability of an information extraction mechanism allowing the capture in an uniform way of the implicit algorithmic content of a proof. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
contextual specialization, probabilistic abstract interpretation, opaque inputs, extended program clause, functor argument positions, initial call patterns, computational type theory, opaque output, analysis registry, logic program transformation, opaque parameters, failure continuation, coupling invariant, positive supercompilation, logical type theory, folding equivalent, narrowing trees, execution depth, narrowing derivation, clause generalization, module refinement, constraint replacement, import graph, closure under substitution, residual programs Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Technical Report, Kung-Kiu Lau, Lecture Notes, Springer-Verlag Berlin Heidelberg, Springer Verlag, Principles of Programming Languages, Cover Set Induction Rule, Monash University, New York, Prentice Hall, Sigplan Notices, End Fig, Computer Society Press, Intl Conf 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 29
books:
See all 29 books this book cites
- Computer Science by Richard Jones on 4 pages
- Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science) by Manuel Hermenegildo on page 101, and page 144
- Partial Evaluation and Automatic Program Generation (Prentice-Hall International Series in Computer Science) by Neil D. Jones on page 123, and page 143
- Advances in Artificial Intelligence 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001: Proceedings by Eleni Stroulia in Back Matter
- Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science) by Matthew Dwyer in Back Matter
See all 29 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
|
