On the public citation graph
Abstract interpretation for constraint handling rules
0 signed · 25 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/10704567_7openalex-snapshot
Compiling Constraint Handling Rules into Prolog with Attributed Variables
inferredcites →https://doi.org/10.1007/978-3-540-27775-0_7openalex-snapshot
The Refined Operational Semantics of Constraint Handling Rules
inferredcites →https://doi.org/10.1016/s0743-1066(98)10005-5openalex-snapshot
Theory and practice of constraint handling rules
inferredcites →https://doi.org/10.1145/177492.177650openalex-snapshot
Denotational abstract interpretation of logic programs
inferredcites →https://doi.org/10.1145/888251.888260openalex-snapshot
Extending arbitrary solvers with constraint handling rules
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11562931_44openalex-snapshot
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary
inferred← citeshttps://doi.org/10.1007/11562931_51openalex-snapshot
Analysis and Optimization of CHR Programs
inferred← citeshttps://doi.org/10.1007/11562931_9openalex-snapshot
Guard and Continuation Optimization for Occurrence Representations of CHR
inferred← citeshttps://doi.org/10.1007/978-3-540-27775-0_7openalex-snapshot
The Refined Operational Semantics of Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_42openalex-snapshot
Optimization of CHR Propagation Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-92243-8_7openalex-snapshot
CHR for Imperative Host Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-92243-8_8openalex-snapshot
Guard Reasoning in the Refined Operational Semantics of CHR
inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_30openalex-snapshot
Attributed Data for CHR Indexing
inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_41openalex-snapshot
Optimizing Compilation and Computational Complexity of Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/s10601-013-9145-3openalex-snapshot
Models and emerging trends of concurrent constraint programming
inferred← citeshttps://doi.org/10.1016/s1574-6526(06)80017-9openalex-snapshot
Constraints in Procedural and Concurrent Languages
inferred← citeshttps://doi.org/10.1016/s1574-6526(06)x8001-xopenalex-snapshot
Handbook of Constraint Programming
inferred← citeshttps://doi.org/10.1017/s1471068409990123openalex-snapshot
As time goes by: Constraint Handling Rules
inferred← citeshttps://doi.org/10.1109/tkde.2009.208openalex-snapshot
Efficient Lazy Evaluation of Rule-Based Programs
inferred← citeshttps://doi.org/10.1145/1273920.1273924openalex-snapshot
User-definable rule priorities for CHR
inferred← citeshttps://doi.org/10.1145/1836089.1836097openalex-snapshot
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules
inferred← citeshttps://doi.org/10.48550/arxiv.0906.4474openalex-snapshot
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.