On the public citation graph

Compositional soundness proofs of abstract interpreters

https://doi.org/10.1145/3236767
0 signed · 50 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-52335-9_47openalex-snapshot
Inductively defined types
inferredcites →https://doi.org/10.1007/3-540-59451-5_2openalex-snapshot
Monads for functional programming
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-3-540-88643-3_7openalex-snapshot
WebDSL: A Case Study in Domain-Specific Language Engineering
inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot
Principles of Program Analysis
inferredcites →https://doi.org/10.1016/0304-3975(77)90044-5openalex-snapshot
LCF considered as a programming language
inferredcites →https://doi.org/10.1016/0890-5401(91)90052-4openalex-snapshot
Notions of computation and monads
inferredcites →https://doi.org/10.1016/j.entcs.2015.12.011openalex-snapshot
Bifibrational Functorial Semantics of Parametric Polymorphism
inferredcites →https://doi.org/10.1016/s0167-6423(99)00023-4openalex-snapshot
Generalising monads to arrows
inferredcites →https://doi.org/10.1016/s1571-0661(04)80427-4openalex-snapshot
Building Interpreters with Rewriting Strategies
inferredcites →https://doi.org/10.1023/a:1010027404223openalex-snapshot
Definitional Interpreters for Higher-Order Programming Languages
inferredcites →https://doi.org/10.1093/logcom/2.4.511openalex-snapshot
Abstract Interpretation Frameworks
inferredcites →https://doi.org/10.1093/oso/9780198537809.003.0005openalex-snapshot
Abstract interpretation: a semantics-based tool for program analysis
inferredcites →https://doi.org/10.1112/blms/6.1.115openalex-snapshot
CATEGORIES FOR THE WORKING MATHEMATICIAN
inferredcites →https://doi.org/10.1145/1190215.1190221openalex-snapshot
Semantics of static pointcuts in aspectJ
inferredcites →https://doi.org/10.1145/1190216.1190221openalex-snapshot
Semantics of static pointcuts in aspectJ
inferredcites →https://doi.org/10.1145/1863543.1863553openalex-snapshot
Abstracting abstract machines
inferredcites →https://doi.org/10.1145/1988783.1988787openalex-snapshot
Higher-order transformations with nested concrete syntax
inferredcites →https://doi.org/10.1145/199448.199528openalex-snapshot
Monad transformers and modular interpreters
inferredcites →https://doi.org/10.1145/2036918.2036927openalex-snapshot
A foundation for GADTs and inductive families
inferredcites →https://doi.org/10.1145/2048066.2048099openalex-snapshot
SugarJ
inferredcites →https://doi.org/10.1145/2187671.2187672openalex-snapshot
Control-flow analysis of functional programs
inferredcites →https://doi.org/10.1145/227699.227700openalex-snapshot
Type classes in Haskell
inferredcites →https://doi.org/10.1145/2427048.2427050openalex-snapshot
A language generic solution for name binding preservation in refactorings
inferredcites →https://doi.org/10.1145/2491956.2491979openalex-snapshot
Monadic abstract interpreters
inferredcites →https://doi.org/10.1145/2814189.2817270openalex-snapshot
Conf.Researchr.Org: towards a domain-specific content management system for managing large conference websites
inferredcites →https://doi.org/10.1145/2814270.2814308openalex-snapshot
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
inferredcites →https://doi.org/10.1145/289423.289425openalex-snapshot
Building program optimizers with rewriting strategies
inferredcites →https://doi.org/10.1145/3110256openalex-snapshot
Abstracting definitional interpreters (functional pearl)
inferredcites →https://doi.org/10.1145/3141517.3141855openalex-snapshot
Toward abstract interpretation of program transformations
inferredcites →https://doi.org/10.1145/507635.507664openalex-snapshot
A new notation for arrows
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.1145/99370.99404openalex-snapshot
Theorems for free!
inferredcites →https://doi.org/10.13016/m2j96097dopenalex-snapshot
Mechanizing Abstract Interpretation
inferredcites →https://doi.org/10.4230/lipics.csl.2012.46openalex-snapshot
Relational Parametricity for Higher Kinds

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-39322-9_7openalex-snapshot
A Systematic Approach to Abstract Interpretation of Program Transformations
inferred← citeshttps://doi.org/10.1007/978-3-030-41103-9_4openalex-snapshot
Galois Connections for Recursive Types
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8_14openalex-snapshot
A Modular Soundness Theory for the Blackboard Analysis Architecture
inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_15openalex-snapshot
Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
inferred← citeshttps://doi.org/10.1145/3290357openalex-snapshot
Skeletal semantics and their interpretations
inferred← citeshttps://doi.org/10.1145/3358502.3361269openalex-snapshot
From definitional interpreter to symbolic executor
inferred← citeshttps://doi.org/10.1145/3360552openalex-snapshot
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming
inferred← citeshttps://doi.org/10.1145/3368089.3409765openalex-snapshot
Modular collaborative program analysis in OPAL
inferred← citeshttps://doi.org/10.1145/3607863openalex-snapshot
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
inferred← citeshttps://doi.org/10.1145/3674646openalex-snapshot
Abstract Interpreters: A Monadic Approach to Modular Verification
inferred← citeshttps://doi.org/10.1145/3678721.3686226openalex-snapshot
Abstract Interpretation of Java Bytecode in Sturdy
inferred← citeshttps://doi.org/10.1145/3689484.3690734openalex-snapshot
On the Soundness of Auto-completion Services for Dynamically Typed Languages
inferred← citeshttps://doi.org/10.1145/3747539openalex-snapshot
Call-Guarded Abstract Definitional Interpreters
inferred← citeshttps://doi.org/10.70675/b5af5158z6f07z4263zb940zc7a8755fd60dopenalex-snapshot
Static type and value analysis by abstract interpretation of Python programs with native C libraries
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.