ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
4
views
17
references
Top references
cited by
9
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,507
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
The Logic Programming Paradigm
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging
other
Author(s):
Manuel Hermenegildo
,
Germán Puebla
,
Francisco Bueno
Publication date
(Print):
1999
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH title and first author match)
Powered by
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
Genome Engineering using CRISPR
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
The execution algorithm of mercury, an efficient purely declarative logic programming language
Zoltán Somogyi
,
Fergus Henderson
,
Thomas Conway
(1996)
0
comments
Cited
34
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Reasoning about Termination of Pure Prolog Programs
D Pedreschi
,
K.R. Apt
(1993)
0
comments
Cited
21
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Compile-time derivation of variable dependency using abstract interpretation
M Hermenegildo
,
K Muthukumar
(1992)
0
comments
Cited
20
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1999
Pages
: 161-192
DOI:
10.1007/978-3-642-60085-2_7
SO-VID:
bd8a7999-11fa-4774-b2f6-6500a322f798
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 161
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging
pp. 357
Action Languages, Answer Sets, and Planning
pp. 375
Stable Models and an Alternative Logic Programming Paradigm
Similar content
1,507
Diagnostics for Stochastic Genome-Scale Modeling via Model Slicing and Debugging
Authors:
Kevin J. Tsai
,
Chuan-Hsiung Chang
Adaptation and Validation of the Sexual Assertiveness Scale (SAS) in a Sample of Male Drug Users
Authors:
Juan Carlos Sierra
,
Pablo Vallejo-Medina
Observations to Prove That the Hydrophobia Is Not, as Some Writers Have Asserted, Unknown in America. To Which Is Added, an Account of the Decussation of the Optic Nerves in Quadrupeds
Authors:
See all similar
Cited by
9
An overview of Ciao and its design philosophy
Authors:
P. López-García
,
E Mera
,
G. Puebla
…
An Assertion Language for Constraint Logic Programs
Authors:
German Puebla
,
Francisco Bueno
,
Manuel V. Hermenegildo
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs
Authors:
Germán Puebla
,
Francisco Bueno
,
Manuel Hermenegildo
See all cited by