On the public citation graph

Compilation and equivalence of imperative objects

https://doi.org/10.1007/bfb0058024
0 signed · 64 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.1002/(issn)1096-9942openalex-snapshot
Theory and Practice of Object Systems
inferredcites →https://doi.org/10.1006/inco.1995.1077openalex-snapshot
A Variable Typed Logic of Effects
inferredcites →https://doi.org/10.1007/3-540-59293-8_214openalex-snapshot
An imperative object calculus
inferredcites →https://doi.org/10.1007/3-540-62688-3_45openalex-snapshot
Names, equations, relations: Practical ways to reason about new
inferredcites →https://doi.org/10.1007/978-1-4419-8598-9openalex-snapshot
A Theory of Objects
inferredcites →https://doi.org/10.1007/978-3-540-39910-0_2openalex-snapshot
A Logic of Object-Oriented Programs
inferredcites →https://doi.org/10.1007/978-3-642-95851-9_5openalex-snapshot
Java Virtual Machine
inferredcites →https://doi.org/10.1007/bf01128407openalex-snapshot
The VLISP verified Scheme system
inferredcites →https://doi.org/10.1007/bfb0030634openalex-snapshot
A logic of object-oriented programs
inferredcites →https://doi.org/10.1016/0304-3975(75)90017-1openalex-snapshot
Call-by-name, call-by-value and the λ-calculus
inferredcites →https://doi.org/10.1016/0890-5401(91)90052-4openalex-snapshot
Notions of computation and monads
inferredcites →https://doi.org/10.1017/s0956796800000125openalex-snapshot
Equivalence in functional languages with effects
inferredcites →https://doi.org/10.1017/s095679689700261xopenalex-snapshot
A foundation for actor computation
inferredcites →https://doi.org/10.1017/s0956796897002712openalex-snapshot
Deriving a lazy abstract machine
inferredcites →https://doi.org/10.1017/s0960129500001559openalex-snapshot
From operational semantics to abstract machines
inferredcites →https://doi.org/10.1145/143165.143200openalex-snapshot
A compilation method for ML-style polymorphic record calculi
inferredcites →https://doi.org/10.1145/224164.224193openalex-snapshot
Compiler correctness for parallel languages
inferredcites →https://doi.org/10.1145/232627.232632openalex-snapshot
Functional back-ends within the lambda-sigma calculus
inferredcites →https://doi.org/10.1145/237721.237807openalex-snapshot
Bisimilarity for a first-order calculus of objects with subtyping
inferredcites →https://doi.org/10.7146/brics.v3i38.20020openalex-snapshot
Objects as Mobile Processes
inferredcites →https://doi.org/10.7146/brics.v4i19.21677openalex-snapshot
Compilation and Equivalence of Imperative Objects

What points at this work

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

inferred← citeshttps://doi.org/10.1006/inco.2001.3104openalex-snapshot
Aliasing Models for Mobile Objects
inferred← citeshttps://doi.org/10.1007/10705424_4openalex-snapshot
Partial Evaluation and Non-interference for Object Calculi
inferred← citeshttps://doi.org/10.1007/11693024_11openalex-snapshot
Bisimulations for Untyped Imperative Objects
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_28openalex-snapshot
Local π-Calculus at Work: Mobile Objects as Mobile Processes
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_29openalex-snapshot
An Interpretation of Typed Concurrent Objects in the Blue Calculus
inferred← citeshttps://doi.org/10.1007/3-540-48256-3_15openalex-snapshot
Mechanized Operational Semantics via (Co)Induction
inferred← citeshttps://doi.org/10.1007/3-540-48311-x_191openalex-snapshot
Aliasing Models for Object Migration⋆
inferred← citeshttps://doi.org/10.1007/978-0-387-34735-6_16openalex-snapshot
Asynchonous Distributed Components: Concurrency and Determinacy
inferred← citeshttps://doi.org/10.1007/978-0-387-35358-6_20openalex-snapshot
Imperative Objects and Mobile Processes
inferred← citeshttps://doi.org/10.1007/978-3-031-29713-7_24openalex-snapshot
GUIs, Robots, and Language: Toward a Neo-Davidsonian Procedural Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-30734-3_26openalex-snapshot
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_6openalex-snapshot
Active Objects and Distributed Components: Theory and Implementation
inferred← citeshttps://doi.org/10.1007/bfb0028550openalex-snapshot
Searching Constant Width Mazes Captures the AC0 Hierarchy
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.10.026openalex-snapshot
Functional Active Objects: Typing and Formalisation
inferred← citeshttps://doi.org/10.1016/j.ic.2008.12.004openalex-snapshot
Asynchronous sequential processes
inferred← citeshttps://doi.org/10.1016/j.scico.2010.12.008openalex-snapshot
ASPfun : A typed functional active object calculus
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00034-5openalex-snapshot
Imperative objects as mobile processes
inferred← citeshttps://doi.org/10.1016/s0890-5401(02)93172-xopenalex-snapshot
Mobile Objects as Mobile Processes
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00103-3openalex-snapshot
Bibliography on Realizability
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00145-8openalex-snapshot
A Concurrent Object Calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80283-xopenalex-snapshot
Object Closure Conversion
inferred← citeshttps://doi.org/10.1017/s0956796899003482openalex-snapshot
Compilation and equivalence of imperative objects
inferred← citeshttps://doi.org/10.1017/s0960129514000255openalex-snapshot
Observable interface behaviour and inheritance
inferred← citeshttps://doi.org/10.1109/lics.1998.705673openalex-snapshot
Full abstraction for first-order objects with recursive types and subtyping
inferred← citeshttps://doi.org/10.1145/3652561.3652566openalex-snapshot
A frame stack semantics for sequential Core Erlang
inferred← citeshttps://doi.org/10.1145/964001.964012openalex-snapshot
Asynchronous and deterministic objects
inferred← citeshttps://doi.org/10.1145/982962.964012openalex-snapshot
Asynchronous and deterministic objects
inferred← citeshttps://doi.org/10.17760/d10016545openalex-snapshot
Reasoning about imperative and higher-order programs
inferred← citeshttps://doi.org/10.2168/lmcs-5(4:2)2009openalex-snapshot
A Step-indexed Semantics of Imperative Objects
inferred← citeshttps://doi.org/10.48456/tr-702openalex-snapshot
Relationships for object-oriented programming languages
inferred← citeshttps://doi.org/10.7146/brics.v15i5.21940openalex-snapshot
Inter-Deriving Semantic Artifacts for Object-Oriented Programming
inferred← citeshttps://doi.org/10.7146/brics.v4i20.18946openalex-snapshot
Classifying Toposes for First Order Theories
inferred← citeshttps://doi.org/10.7146/brics.v4i21.18947openalex-snapshot
Topological Completeness for Higher-Order Logic
inferred← citeshttps://doi.org/10.7146/brics.v4i22.18948openalex-snapshot
Syntax and Semantics of the logic L_omega omega^lambda
inferred← citeshttps://doi.org/10.7146/brics.v4i23.18949openalex-snapshot
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness
inferred← citeshttps://doi.org/10.7146/brics.v4i24.18950openalex-snapshot
Relational Reasoning about Contexts
inferred← citeshttps://doi.org/10.7146/brics.v4i26.18952openalex-snapshot
A Characterization of Finitary Bisimulation
inferred← citeshttps://doi.org/10.7146/brics.v4i27.18953openalex-snapshot
Zero-Knowledge Proofs for Finite Field Arithmetic or: Can Zero-Knowledge be for Free?
inferred← citeshttps://doi.org/10.7146/brics.v4i28.18954openalex-snapshot
Span Programs and General Secure Multi-Party Computation
inferred← citeshttps://doi.org/10.7146/brics.v5i33.19439openalex-snapshot
Migration = Cloning ; Aliasing (Preliminary Version)
inferred← citeshttps://doi.org/10.7146/brics.v5i52.19498openalex-snapshot
Imperative Objects and Mobile Processes
inferred← citeshttps://doi.org/10.7146/brics.v5i55.19500openalex-snapshot
Compilation and Equivalence of Imperative Objects (Revised Report)
inferred← citeshttps://doi.org/10.7146/brics.v6i44.20114openalex-snapshot
Aliasing Models for Mobile Objects
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.