Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Theoretical Computer...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Theoretical Computer Science
Article
License: Elsevier Non-Commercial
Data sources: UnpayWall
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Theoretical Computer Science
Article . 2010
License: Elsevier Non-Commercial
Data sources: BASE (Open Access Aggregator)
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
http://dx.doi.org/10.1016/j.tc...
Article
Data sources: CORE (RIOXX-UK Aggregator)
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Usiena air - Università di Siena
Article . 2010
Full-Text: https://usiena-air.unisi.it/request-item?handle=11365/25850&bitstreamId=e0feeaa4-c601-44d2-e053-6605fe0a8db0
Data sources: Usiena air - Università di Siena
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Archivio istituzionale della ricerca - Università degli Studi di Udine
Article . 2010
Full-Text: https://air.uniud.it/bitstream/11390/866944/1/ABCF2010.pdf
Data sources: Archivio istituzionale della ricerca - Università degli Studi di Udine
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Theoretical Computer Science
Article . 2010 . Peer-reviewed
License: Elsevier Non-Commercial
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 2010
Data sources: zbMATH Open
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Università degli Studi di Siena: USiena air
Article . 2010
Data sources: Bielefeld Academic Search Engine (BASE)
https://dx.doi.org/10.1016/j.t...
Article
Data sources: Microsoft Academic Graph
Repositorio Institucional Universidad EAFIT
Article . 2021
Data sources: Repositorio Institucional Universidad EAFIT
Repositorio Institucional Universidad EAFIT
Article . 2021
Data sources: Repositorio Institucional Universidad EAFIT
 View all 8 versions
Claim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

An integrated framework for the diagnosis and correction of rule-based programs

descriptionPublicationkeyboard_double_arrow_right Article 01 Oct 2010 English Publisher:Elsevier BVJournal:Theoretical Computer Science, volume 411, pages 4,055-4,101 (issn: 0304-3975, Copyright policy )
Authors: Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.; +1 Authors

doi: 10.1016/j.tcs.2010.07.009

handle: 11365/25850 , 10784/28600 , 10784/27338 , 11390/866944

An integrated framework for the diagnosis and correction of rule-based programs

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Organizations
View all View all
Keywords

program transformation, Integrated frameworks, Debugging systems, Declarative debugging, Logic programming, Single-step, Topdown, Program debugging, Program diagnostics, Theoretical Computer Science, Debugging methods, Program correctness, functional logic programming, Functional logic programming, Narrowing, Web services, Debugging; Narrowing; Functional logic programming; Program transformation, Evaluation strategies, Program synthesis, debugging, Program transformations, narrowing, Diagnosis methods, Rule based, Functional programming, Program transformation, Integrated development environment, Debugging, Computer Science(all)

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    		 6
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    		 Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    		 Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    		 Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
6
Average
Top 10%
Average
hybrid