This book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003. The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed.
Practical Aspects of Declarative Languages
and over one million other books are available for Amazon Kindle.
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)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
partial answer set, compact denotations, upper heap, expanded heap, trigger str, heap expansion, naïve labeling, consistent query answering, cdr binding, lookahead step, unary domains, lower heap, traversal combinator, generic traversal, perfect phylogenetic networks, integrity contraints, vertical parallelism, preds types, modal abstraction, active heap, initialization equations, abstract pattern matching, lexical attributes, sequence quantification, probability semantics Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, International Workshop, Abstract Emulate, Negative Ask, New York, Positive Ask, Principles of Programming Languages, Springer Verlag, Mads Tofte, Philip Wadler, International Symposium, Lambda Goes, Martin Elsman, Unit Delay, University of Copenhagen, Computational Logic, Computer Society Press, Database Systems, Gérard Huet, Mobile Timed Concurrent Constraints, Niels Hallenberg, Paul Hudak, Server Pages, Elsevier Science New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
partial answer set, compact denotations, upper heap, expanded heap, trigger str, heap expansion, naïve labeling, consistent query answering, cdr binding, lookahead step, unary domains, lower heap, traversal combinator, generic traversal, perfect phylogenetic networks, integrity contraints, vertical parallelism, preds types, modal abstraction, active heap, initialization equations, abstract pattern matching, lexical attributes, sequence quantification, probability semantics Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, International Workshop, Abstract Emulate, Negative Ask, New York, Positive Ask, Principles of Programming Languages, Springer Verlag, Mads Tofte, Philip Wadler, International Symposium, Lambda Goes, Martin Elsman, Unit Delay, University of Copenhagen, Computational Logic, Computer Society Press, Database Systems, Gérard Huet, Mobile Timed Concurrent Constraints, Niels Hallenberg, Paul Hudak, Server Pages, Elsevier Science New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
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
|
