On the public citation graph

A Type Safe DOM API

https://doi.org/10.1007/11601524_11
0 signed · 33 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.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/3-540-48737-9openalex-snapshot
Formal Syntax and Semantics of Java
inferredcites →https://doi.org/10.1007/3-540-48737-9_7openalex-snapshot
A Programmer’s Reduction Semantics for Classes and Mixins
inferredcites →https://doi.org/10.1007/3-540-48743-3openalex-snapshot
ECOOP’ 99 — Object-Oriented Programming
inferredcites →https://doi.org/10.1007/3-540-48743-3_10openalex-snapshot
An Object-Oriented Effects System
inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot
Principles of Program Analysis
inferredcites →https://doi.org/10.1007/bfb0053371openalex-snapshot
ECOOP'97 — Object-Oriented Programming
inferredcites →https://doi.org/10.1007/bfb0053388openalex-snapshot
Java is type safe — Probably
inferredcites →https://doi.org/10.1016/0304-3975(92)90014-7openalex-snapshot
The revised report on the syntactic theories of sequential control and state
inferredcites →https://doi.org/10.1109/tse.2005.47openalex-snapshot
Exploiting purity for atomicity
inferredcites →https://doi.org/10.1145/1007512.1007543openalex-snapshot
Exploiting purity for atomicity
inferredcites →https://doi.org/10.1145/1069774.1069787openalex-snapshot
Trace effects and object orientation
inferredcites →https://doi.org/10.1145/158511.158524openalex-snapshot
Imperative functional programming
inferredcites →https://doi.org/10.1145/237721.237724openalex-snapshot
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
inferredcites →https://doi.org/10.1145/503502.503505openalex-snapshot
Featherweight Java
inferredcites →https://doi.org/10.1145/73560.73564openalex-snapshot
Polymorphic effect systems
inferredcites →https://doi.org/10.48456/tr-563openalex-snapshot
MJ: An imperative core calculus for Java and Java with effects

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11766155_24openalex-snapshot
Field Access Analysis for Enforcing Access Control Policies
inferred← citeshttps://doi.org/10.1007/978-3-319-47958-3_21openalex-snapshot
DOM: Specification and Client Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_26openalex-snapshot
Tracking Linear and Affine Resources with Java(X)
inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_22openalex-snapshot
An Operational Semantics for JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-642-04444-1_31openalex-snapshot
Isolating JavaScript with Filters, Rewriting, and Wrappers
inferred← citeshttps://doi.org/10.1007/978-3-642-45284-0_8openalex-snapshot
A Declarative-Friendly API for Web Document Manipulation
inferred← citeshttps://doi.org/10.1007/s11859-008-0106-4openalex-snapshot
IDL compiler API design, application and validation based on XML API
inferred← citeshttps://doi.org/10.1109/csf.2009.11openalex-snapshot
Language-Based Isolation of Untrusted JavaScript
inferred← citeshttps://doi.org/10.1145/2025113.2025125openalex-snapshot
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
inferred← citeshttps://doi.org/10.1145/2103621.2103663openalex-snapshot
Towards a program logic for JavaScript
inferred← citeshttps://doi.org/10.1145/2103656.2103663openalex-snapshot
Towards a program logic for JavaScript
inferred← citeshttps://doi.org/10.1145/2491411.2491417openalex-snapshot
Practical static analysis of JavaScript applications in the presence of frameworks and libraries
inferred← citeshttps://doi.org/10.1145/3184558.3185980openalex-snapshot
A Formal Semantics of the Core DOM in Isabelle/HOL
inferred← citeshttps://doi.org/10.25560/17838openalex-snapshot
Structural Separation Logic
inferred← citeshttps://doi.org/10.3929/ethz-a-006860117openalex-snapshot
VSTTE 2010 workshop proceedings
inferred← citeshttps://doi.org/10.7301/z0h993gropenalex-snapshot
Semantics and Types for Safe Web Programming
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.