On the public citation graph

Skeletal semantics and their interpretations

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/978-3-540-69166-2_23openalex-snapshot

A Calculational Approach to Control-Flow Analysis by Abstract Interpretation

inferredcites →https://doi.org/10.1007/978-3-540-89330-1_22openalex-snapshot

An Operational Semantics for JavaScript

inferredcites →https://doi.org/10.1007/978-3-642-37036-6_3openalex-snapshot

Pretty-Big-Step Semantics

inferredcites →https://doi.org/10.1007/s10817-009-9148-3openalex-snapshot

Mechanized Semantics for the Clight Subset of the C Language

inferredcites →https://doi.org/10.1016/j.jlap.2010.03.012openalex-snapshot

An overview of the K semantic framework

inferredcites →https://doi.org/10.1016/j.tcs.2005.06.004openalex-snapshot

Extracting a data flow analyser in constructive logic

inferredcites →https://doi.org/10.1016/s0304-3975(02)00869-1openalex-snapshot

Verified bytecode verifiers

inferredcites →https://doi.org/10.1017/cbo9780511569869openalex-snapshot

Action Semantics

inferredcites →https://doi.org/10.1017/s0956796809990293openalex-snapshot

Ott: Effective tool support for the working semanticist

inferredcites →https://doi.org/10.1145/1111037.1111042openalex-snapshot

Formal certification of a compiler back-end or

inferredcites →https://doi.org/10.1145/1863543.1863553openalex-snapshot

Abstracting abstract machines

inferredcites →https://doi.org/10.1145/1995376.1995400openalex-snapshot

Abstracting abstract machines

inferredcites →https://doi.org/10.1145/200994.201001openalex-snapshot

Closure analysis in constraint form

inferredcites →https://doi.org/10.1145/2103621.2103663openalex-snapshot

Towards a program logic for JavaScript

inferredcites →https://doi.org/10.1145/2429069.2429104openalex-snapshot

Views

inferredcites →https://doi.org/10.1145/2535838.2535841openalex-snapshot

CakeML

inferredcites →https://doi.org/10.1145/2535838.2535876openalex-snapshot

A trusted mechanised JavaScript specification

inferredcites →https://doi.org/10.1145/2628136.2628143openalex-snapshot

Lem

inferredcites →https://doi.org/10.1145/2676724.2693174openalex-snapshot

Certified Abstract Interpretation with Pretty-Big-Step Semantics

inferredcites →https://doi.org/10.1145/2676726.2676966openalex-snapshot

A Formally-Verified C Static Analyzer

inferredcites →https://doi.org/10.1145/2983990.2984027openalex-snapshot

Semantics-based program verifiers for all languages

inferredcites →https://doi.org/10.1145/3236767openalex-snapshot

Compositional soundness proofs of abstract interpreters

inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot

Abstract interpretation

inferredcites →https://doi.org/10.4204/eptcs.137.6openalex-snapshot

Coinductive Big-Step Semantics for Concurrency

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-91265-9_4openalex-snapshot

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics

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-031-76554-4_13openalex-snapshot

Correct and Complete Symbolic Execution for Free

inferred← citeshttps://doi.org/10.1007/978-981-19-9601-6_1openalex-snapshot

Abstract Interpretation: From 0, 1, to $$\infty $$

inferred← citeshttps://doi.org/10.1145/3385412.3386014openalex-snapshot

Gillian, part i: a multi-language platform for symbolic execution

inferred← citeshttps://doi.org/10.1145/3497775.3503676openalex-snapshot

Certified abstract machines for skeletal semantics

inferred← citeshttps://doi.org/10.1145/3522729openalex-snapshot

A Meta-theory for Big-step Semantics

inferred← citeshttps://doi.org/10.1145/3547648openalex-snapshot

Automatically deriving control-flow graph generators from operational semantics

inferred← citeshttps://doi.org/10.1145/3551357.3551381openalex-snapshot

A Faithful Description of ECMAScript Algorithms

inferred← citeshttps://doi.org/10.1145/3591240openalex-snapshot

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations

inferred← citeshttps://doi.org/10.1145/3607863openalex-snapshot

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

inferred← citeshttps://doi.org/10.1145/3623476openalex-snapshot

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering

inferred← citeshttps://doi.org/10.1145/3623476.3623512openalex-snapshot

Cross-Level Debugging for Static Analysers

inferred← citeshttps://doi.org/10.1145/3649852openalex-snapshot

A Pure Demand Operational Semantics with Applications to Program Analysis

inferred← citeshttps://doi.org/10.1145/3656392openalex-snapshot

Compiling with Abstract Interpretation

inferred← citeshttps://doi.org/10.1145/3674646openalex-snapshot

Abstract Interpreters: A Monadic Approach to Modular Verification

inferred← citeshttps://doi.org/10.1145/3674652openalex-snapshot

A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction

inferred← citeshttps://doi.org/10.1145/3703595.3705890openalex-snapshot

Monadic Interpreters for Concurrent Memory Models

inferred← citeshttps://doi.org/10.1145/3747509openalex-snapshot

Formal Semantics and Program Logics for a Fragment of OCaml

inferred← citeshttps://doi.org/10.1145/3756907.3756926openalex-snapshot

Abstract machines and small-step semantics: a winning ticket for proof automation?

inferred← citeshttps://doi.org/10.1145/3779209.3779534openalex-snapshot

Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations

inferred← citeshttps://doi.org/10.1145/3808231openalex-snapshot

Selective Feature-Sensitive Coverage for Conformance Testing of Programming Languages

inferred← citeshttps://doi.org/10.1145/3839535openalex-snapshot

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification

inferred← citeshttps://doi.org/10.70675/b5af5158z6f07z4263zb940zc7a8755fd60dopenalex-snapshot

Static type and value analysis by abstract interpretation of Python programs with native C libraries

inferred← citeshttps://doi.org/10.70675/cfa7a780zc4bdz49a9zafc1z0abca99bb882openalex-snapshot

Skeletal semantics transformations

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.