Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
37
views
0
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,749
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Practical Aspects of Declarative Languages
other
Editor(s):
Michael Hanus
Publication date
(Print):
2007
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
African Languages
Author and book information
Book
ISBN (Print):
978-3-540-69608-7
ISBN (Electronic):
978-3-540-69611-7
Publication date (Print):
2007
DOI:
10.1007/978-3-540-69611-7
SO-VID:
30d8c82b-9831-4c0d-8bc8-1aad4521162b
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
QuickCheck Testing for Fun and Profit
pp. 33
A Constraint Programming Approach to Bioinformatics Structural Problems
pp. 50
Rewriting Haskell Strings
pp. 65
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
pp. 80
Algebraic Knowledge Discovery Using Haskell
pp. 94
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
pp. 109
Automatic Incrementalization of Prolog Based Static Analyses
pp. 124
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs
pp. 140
Combining Static Analysis and Profiling for Estimating Execution Times
pp. 155
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
pp. 170
Compiling Constraint Handling Rules for Efficient Tabled Evaluation
pp. 185
Prolog Performance on Larger Datasets
pp. 200
BAD, a Declarative Logic-Based Language for Brain Modeling
pp. 215
From Zinc to Design Model
pp. 230
Inductive Logic Programming by Instance Patterns
pp. 245
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
pp. 260
The Joins Concurrency Library
pp. 275
HPorter: Using Arrows to Compose Parallel Processes
pp. 290
Coupled Schema Transformation and Data Conversion for XML and SQL
pp. 305
Aspect-Oriented Programming in Higher-Order and Linear Logic
pp. 320
Partial Evaluation of Pointcuts
Similar content
3,749
The Rio Declaration
Authors:
Howard Mann
['Informed consent' in public health activities: based on the universal declaration on bioethics and human rights, UNESCO].
Authors:
Kwang-Ho Meng
Childhood trauma and adult declarative memory performance in the general population: The mediating effect of alexithymia
Authors:
Jan Terock
,
Sandra Van der Auwera
,
Deborah Janowitz
…
See all similar
Cited by
2
Concurrent Typestate-Oriented Programming in Java
Authors:
Rosita Gerbo
,
Luca Padovani
Software Fault Isolation for Robust Compilation
Authors:
Ana Nora Evans
See all cited by