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
39
views
16
references
Top references
cited by
21
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,658
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Practical Aspects of Declarative Languages
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
other
Author(s):
Andreas Podelski
,
Andrey Rybalchenko
Publication date
(Print):
2006
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
Genomic Prediction: Software
Most cited references
16
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Abstract interpretation
Patrick Cousot
,
Radhia Cousot
(1977)
0
comments
Cited
364
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Counterexample-Guided Abstraction Refinement
Edmund Clarke
,
Orna Grumberg
,
Somesh Jha
…
(2000)
0
comments
Cited
157
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Constraint logic programming
J Jaffar
,
J.-L. Lassez
(1987)
0
comments
Cited
70
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 245-259
DOI:
10.1007/978-3-540-69611-7_16
SO-VID:
dda9f353-658e-42b8-867d-4290945aa30b
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
1,658
Clinical classifications software refined (CCSR)
Authors:
Multipollutant modeling issues in a study of ambient air quality and emergency department visits in Atlanta.
Authors:
Paige E Tolbert
,
Mitchel Klein
,
Jennifer L Peel
…
Optical performance measurement and night driving simulation of ReSTOR, ReZoom, and Tecnis multifocal intraocular lenses in a model eye.
Authors:
Junoh Choi
,
Jim Schwiegerling
See all similar
Cited by
21
Ramsey vs. Lexicographic Termination Proving
Authors:
Byron Cook
,
Abigail See
,
Florian Zuleger
Automatically Refining Abstract Interpretations
Authors:
Bhargav S. Gulavani
,
Supratik Chakraborty
,
Aditya V. Nori
…
Better Termination Proving through Cooperation
Authors:
Marc Brockschmidt
,
Byron Cook
,
Carsten Fuhs
See all cited by