On the public citation graph

A partial evaluator for the Maruti hard real-time system

https://doi.org/10.1007/bf01088695
0 signed · 44 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-15976-2openalex-snapshot
Rewriting Techniques and Applications
inferredcites →https://doi.org/10.1007/3-540-16042-6_6openalex-snapshot
Program simplification via symbolic interpretation
inferredcites →https://doi.org/10.1007/bf00271642openalex-snapshot
Polyvariant mixed computation for analyzer programs
inferredcites →https://doi.org/10.1007/bf00355297openalex-snapshot
Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention
inferredcites →https://doi.org/10.1007/bf00571421openalex-snapshot
Calculating the maximum execution time of real-time programs
inferredcites →https://doi.org/10.1007/bf01806312openalex-snapshot
Mix: A self-applicable partial evaluator for experiments in compiler generation
inferredcites →https://doi.org/10.1016/0020-0190(77)90078-3openalex-snapshot
On the partial computation principle
inferredcites →https://doi.org/10.1016/0304-3975(82)90111-6openalex-snapshot
Mixed computation: potential applications and problems for study
inferredcites →https://doi.org/10.1038/218019a0openalex-snapshot
“Memo” Functions and Machine Learning
inferredcites →https://doi.org/10.1109/2.62091openalex-snapshot
Compiling scientific code using partial evaluation
inferredcites →https://doi.org/10.1109/2.76286openalex-snapshot
Experiments with a program timing tool based on source-level timing schema
inferredcites →https://doi.org/10.1109/32.29487openalex-snapshot
Reasoning about time in higher-level language software
inferredcites →https://doi.org/10.1109/40.16792openalex-snapshot
Distributed fault-tolerant real-time systems: the Mars approach
inferredcites →https://doi.org/10.1109/real.1990.128756openalex-snapshot
Language support for the Maruti real-time system
inferredcites →https://doi.org/10.1109/tse.1986.6313049openalex-snapshot
Real-Time Euclid: A language for reliable real-time systems
inferredcites →https://doi.org/10.1145/115865.115876openalex-snapshot
Techniques for partial evaluation of imperative languages
inferredcites →https://doi.org/10.1145/115866.115876openalex-snapshot
Techniques for partial evaluation of imperative languages
inferredcites →https://doi.org/10.1145/143165.143223openalex-snapshot
Partial evaluation of high-level imperative programming languages with applications in hard real-time systems
inferredcites →https://doi.org/10.1145/318789.318809openalex-snapshot
Compile-time detection of race conditions in a parallel program
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/360051.360224openalex-snapshot
Verifying properties of parallel programs
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/69586.69587openalex-snapshot
A general-purpose algorithm for analyzing concurrent programs
inferredcites →https://doi.org/10.1145/71021.71024openalex-snapshot
The Spring kernel: a new paradigm for real-time operating systems
inferredcites →https://doi.org/10.1145/91556.91668openalex-snapshot
Binding time analysis for high order untyped functional languages

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-1-4471-3054-3_19openalex-snapshot
Loops for Safety Critical Applications
inferred← citeshttps://doi.org/10.1007/bf01088804openalex-snapshot
Schedulability-analyzable exception handling for fault-tolerant real-time languages
inferred← citeshttps://doi.org/10.1007/bf01094342openalex-snapshot
Fixed priority pre-emptive scheduling: An historical perspective
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90011-6openalex-snapshot
Multiple-goal objective functions for optimization of task assignment in complex computer systems
inferred← citeshttps://doi.org/10.1016/0096-0551(94)90004-3openalex-snapshot
Discrete loops and worst case performance
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00232-4openalex-snapshot
Multiple-goal objective functions for optimization of task assignment in complex computer systems
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00034-xopenalex-snapshot
Formal Verification of Compiler Transformations for Speculative Real-Time Execution>>>A short version of t>his paper was presented at the 20th IFAC/IFIP Workshop on Real Time Programming (WRTP’95), which was held in Gt. Lauderdale, Florida, U.S.A., during November 1995. The Published Proceedings…
inferred← citeshttps://doi.org/10.1016/s0888-613x(98)00017-6openalex-snapshot
The GST load balancing algorithm for parallel and distributed systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45967-2openalex-snapshot
Multiple-Goal Objective Functions For Optimization of Task Assignment in Complex Computer Systems
inferred← citeshttps://doi.org/10.1023/a:1008138407139openalex-snapshot
An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution
inferred← citeshttps://doi.org/10.1023/a:1014535317056openalex-snapshot
Data-Flow Frameworks for Worst-Case Execution Time Analysis
inferred← citeshttps://doi.org/10.1093/comjnl/38.4.319openalex-snapshot
A Language for Complex Real-Time Systems
inferred← citeshttps://doi.org/10.1109/32.748918openalex-snapshot
A development environment for complex distributed real-time applications
inferred← citeshttps://doi.org/10.1109/32.815328openalex-snapshot
Statically safe speculative execution for real-time systems
inferred← citeshttps://doi.org/10.1109/iceccs.1996.558328openalex-snapshot
Toward compiler optimization of distributed real-time processes
inferred← citeshttps://doi.org/10.1109/iceccs.1997.622313openalex-snapshot
A language support environment for complex distributed real-time applications
inferred← citeshttps://doi.org/10.1145/3473333openalex-snapshot
Scenario-Aware Program Specialization for Timing Predictability
inferred← citeshttps://doi.org/10.1201/b12667-6openalex-snapshot
Optimizing Discrete Modeling and Simulation for Real-Time Constraints with Metaprogramming
inferred← citeshttps://doi.org/10.20868/upm.thesis.9813openalex-snapshot
Aportación al diseño de aplicaciones de tiempo real sobre arquitecturas paralelas
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.