On the public citation graph

Scoped Types and Aspects for Real-Time Java

0 signed · 48 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-45337-7_18openalex-snapshot
An Overview of AspectJ
inferredcites →https://doi.org/10.1007/3-540-45449-7_21openalex-snapshot
An Implementation of Scoped Memory for Real-Time Java
inferredcites →https://doi.org/10.1007/978-3-540-30470-8_49openalex-snapshot
Memory Management Based on Method Invocation in RTSJ
inferredcites →https://doi.org/10.1007/bfb0054091openalex-snapshot
Flexible alias protection
inferredcites →https://doi.org/10.1017/s0956796805005691openalex-snapshot
Type-based confinement
inferredcites →https://doi.org/10.1109/2.846318openalex-snapshot
The real-time specification for Java
inferredcites →https://doi.org/10.1109/doa.2001.954064openalex-snapshot
Real-time distributed object computing: ready for mission-critical embedded system applications
inferredcites →https://doi.org/10.1109/isorc.2004.1300335openalex-snapshot
Real-time Java scoped memory: design patterns and semantics
inferredcites →https://doi.org/10.1109/real.2004.51openalex-snapshot
Scoped Types for Real-Time Java
inferredcites →https://doi.org/10.1109/rtas.2006.7openalex-snapshot
A Real-time Java Virtual Machine for Avionics - An Experience Report
inferredcites →https://doi.org/10.1145/113445.113469openalex-snapshot
Soft typing
inferredcites →https://doi.org/10.1145/1167473.1167479openalex-snapshot
A framework for implementing pluggable type systems
inferredcites →https://doi.org/10.1145/117954.117975openalex-snapshot
Islands
inferredcites →https://doi.org/10.1145/165854.165893openalex-snapshot
Strongtalk
inferredcites →https://doi.org/10.1145/286936.286947openalex-snapshot
Ownership types for flexible alias protection
inferredcites →https://doi.org/10.1145/512529.512563openalex-snapshot
Region-based memory management in cyclone
inferredcites →https://doi.org/10.1145/583810.583825openalex-snapshot
Ravenscar-Java
inferredcites →https://doi.org/10.1145/780822.781168openalex-snapshot
Ownership types for safe region-based memory management in real-time Java
inferredcites →https://doi.org/10.1145/781131.781168openalex-snapshot
Ownership types for safe region-based memory management in real-time Java
inferredcites →https://doi.org/10.1145/949305.949339openalex-snapshot
Saving the world from bad beans

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-540-73589-2_3openalex-snapshot
Generic Universe Types
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_4openalex-snapshot
Universe Types for Topology and Encapsulation
inferred← citeshttps://doi.org/10.1007/978-3-642-02053-7_2openalex-snapshot
High-Performance Transactional Event Processing
inferred← citeshttps://doi.org/10.1007/978-3-642-04570-7_10openalex-snapshot
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-18070-5openalex-snapshot
Formal Verification of Object-Oriented Software
inferred← citeshttps://doi.org/10.1007/978-3-642-39038-8_5openalex-snapshot
Heap Decomposition Inference with Linear Programming
inferred← citeshttps://doi.org/10.1007/s10586-018-2145-8openalex-snapshot
Eliminating object reference checks by escape analysis on real-time Java virtual machine
inferred← citeshttps://doi.org/10.1016/j.scico.2008.04.001openalex-snapshot
Implicit ownership types for memory management
inferred← citeshttps://doi.org/10.1109/icsess.2015.7339009openalex-snapshot
Optimizing object reference checks on real-time Java virtual machine
inferred← citeshttps://doi.org/10.1109/isorc.2007.9openalex-snapshot
A Profile for Safety Critical Java
inferred← citeshttps://doi.org/10.1109/rtss.2006.9openalex-snapshot
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java
inferred← citeshttps://doi.org/10.1109/tse.2010.66openalex-snapshot
FlowTalk: Language Support for Long-Latency Operations in Embedded Devices
inferred← citeshttps://doi.org/10.1145/1167473.1167479openalex-snapshot
A framework for implementing pluggable type systems
inferred← citeshttps://doi.org/10.1145/1167515.1167479openalex-snapshot
A framework for implementing pluggable type systems
inferred← citeshttps://doi.org/10.1145/1254766.1254784openalex-snapshot
Hierarchical real-time garbage collection
inferred← citeshttps://doi.org/10.1145/1254810.1254837openalex-snapshot
Reflexes
inferred← citeshttps://doi.org/10.1145/1273444.1254784openalex-snapshot
Hierarchical real-time garbage collection
inferred← citeshttps://doi.org/10.1145/1297027.1297043openalex-snapshot
Streamflex
inferred← citeshttps://doi.org/10.1145/1297027.1297060openalex-snapshot
Multiple ownership
inferred← citeshttps://doi.org/10.1145/1297027.1297061openalex-snapshot
Ownership transfer in universe types
inferred← citeshttps://doi.org/10.1145/1297105.1297043openalex-snapshot
Streamflex
inferred← citeshttps://doi.org/10.1145/1297105.1297060openalex-snapshot
Multiple ownership
inferred← citeshttps://doi.org/10.1145/1297105.1297061openalex-snapshot
Ownership transfer in universe types
inferred← citeshttps://doi.org/10.1145/1562154.1562163openalex-snapshot
Comparing universes and existential ownership types
inferred← citeshttps://doi.org/10.1145/1667048.1667049openalex-snapshot
JavaCOP
inferred← citeshttps://doi.org/10.1145/2048066.2048091openalex-snapshot
Ribbons
inferred← citeshttps://doi.org/10.1145/2049706.2049709openalex-snapshot
Separating ownership topology and encapsulation with generic universe types
inferred← citeshttps://doi.org/10.1145/2076021.2048091openalex-snapshot
Ribbons
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.