On the public citation graph

A tractable Scheme implementation

https://doi.org/10.1007/bf01018614
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.1016/0950-5849(92)90151-eopenalex-snapshot
Topics in advanced language implementation
inferredcites →https://doi.org/10.1017/s0956796809990074openalex-snapshot
Revised 6 Report on the Algorithmic Language Scheme
inferredcites →https://doi.org/10.1109/ieeestd.1991.101032openalex-snapshot
IEEE Standard for the Scheme Programming Language
inferredcites →https://doi.org/10.1109/robot.1992.220000openalex-snapshot
Program mobile robots in Scheme
inferredcites →https://doi.org/10.1145/113445.113461openalex-snapshot
Effective “static-graph” reorganization to improve locality in garbage-collected systems
inferredcites →https://doi.org/10.1145/151333.151343openalex-snapshot
No assembly required
inferredcites →https://doi.org/10.1145/382130.382133openalex-snapshot
Revised 4 report on the algorithmic language scheme
inferredcites →https://doi.org/10.1145/74877.74882openalex-snapshot
Design of the opportunistic garbage collector
inferredcites →https://doi.org/10.1145/75277.75302openalex-snapshot
Realistic compilation by program transformation (detailed summary)
inferredcites →https://doi.org/10.1145/800055.802036openalex-snapshot
Modules for standard ML
inferredcites →https://doi.org/10.1145/800055.802052openalex-snapshot
The scheme 311 compiler an exercise in denotational semantics
inferredcites →https://doi.org/10.1145/91556.91573openalex-snapshot
A module system for scheme
inferredcites →https://doi.org/10.1145/91556.91603openalex-snapshot
Efficient stack allocation for tail-recursive languages
inferredcites →https://doi.org/10.1145/99583.99607openalex-snapshot
Macros that work

What points at this work

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

inferred← citeshttps://doi.org/10.1002/spe.434openalex-snapshot
Vmgen—a generator of efficient virtual machine interpreters
inferred← citeshttps://doi.org/10.1007/11823285_127openalex-snapshot
An Embedded Systems Programming Environment for C
inferred← citeshttps://doi.org/10.1007/3-540-46425-5_6openalex-snapshot
Formalizing Implementation Strategies for First-Class Continuations
inferred← citeshttps://doi.org/10.1007/3-540-58555-9_87openalex-snapshot
Three applications of formal methods at MITRE
inferred← citeshttps://doi.org/10.1007/3-540-60675-0_49openalex-snapshot
Compiler construction using scheme
inferred← citeshttps://doi.org/10.1007/3-540-61580-6_6openalex-snapshot
Compiler generation for interactive graphics using intermediate code
inferred← citeshttps://doi.org/10.1007/3-540-61756-6_86openalex-snapshot
Implementing memoization for partial evaluation
inferred← citeshttps://doi.org/10.1007/3-540-68671-1_9openalex-snapshot
D’Agents: Security in a Multiple-Language, Mobile-Agent System
inferred← citeshttps://doi.org/10.1007/978-1-4615-2339-0_1openalex-snapshot
VLISP: A Verified Implementation of Scheme
inferred← citeshttps://doi.org/10.1007/978-1-4615-2339-0_2openalex-snapshot
The VLISP Verified Scheme System
inferred← citeshttps://doi.org/10.1007/978-1-4615-2339-0_3openalex-snapshot
The VLISP Verified PreScheme Compiler
inferred← citeshttps://doi.org/10.1007/978-3-540-40018-9_27openalex-snapshot
Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations
inferred← citeshttps://doi.org/10.1007/bf01128406openalex-snapshot
VLISP: A verified implementation of Scheme
inferred← citeshttps://doi.org/10.1007/bf01128407openalex-snapshot
The VLISP verified Scheme system
inferred← citeshttps://doi.org/10.1007/bf01128408openalex-snapshot
The VLISP verified PreScheme compiler
inferred← citeshttps://doi.org/10.1007/s10990-005-4879-2openalex-snapshot
Integrating User-Level Threads with Processes in Scsh
inferred← citeshttps://doi.org/10.1016/j.cl.2015.03.001openalex-snapshot
Approaches to interpreter composition
inferred← citeshttps://doi.org/10.1016/j.scico.2004.08.007openalex-snapshot
Engineering a common intermediate representation for the Ovm framework
inferred← citeshttps://doi.org/10.1016/j.scico.2013.02.001openalex-snapshot
The impact of meta-tracing on VM design and implementation
inferred← citeshttps://doi.org/10.1017/s0956796899003469openalex-snapshot
Combinators for program generation
inferred← citeshttps://doi.org/10.1023/a:1008622002816openalex-snapshot
Transportable Information Agents
inferred← citeshttps://doi.org/10.1109/5254.895852openalex-snapshot
A laboratory course in behavior-based robotics
inferred← citeshttps://doi.org/10.1109/access.2024.3355319openalex-snapshot
Exploring a Self-Replication Algorithm to Flexibly Match Patterns
inferred← citeshttps://doi.org/10.1109/csie.2009.909openalex-snapshot
An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms
inferred← citeshttps://doi.org/10.1145/1013963.1013986openalex-snapshot
Scheme fair threads
inferred← citeshttps://doi.org/10.1145/1291151.1291194openalex-snapshot
Faster laziness using dynamic pointer tagging
inferred← citeshttps://doi.org/10.1145/1291220.1291194openalex-snapshot
Faster laziness using dynamic pointer tagging
inferred← citeshttps://doi.org/10.1145/1408681.1408684openalex-snapshot
Contextual values
inferred← citeshttps://doi.org/10.1145/213978.213986openalex-snapshot
Higher-order distributed objects
inferred← citeshttps://doi.org/10.1145/232627.232647openalex-snapshot
Cogen in six lines
inferred← citeshttps://doi.org/10.1145/232629.232647openalex-snapshot
Cogen in six lines
inferred← citeshttps://doi.org/10.1145/2542142.2542146openalex-snapshot
Unipycation
inferred← citeshttps://doi.org/10.1145/258915.258935openalex-snapshot
Two for the price of one
inferred← citeshttps://doi.org/10.1145/258916.258935openalex-snapshot
Two for the price of one
inferred← citeshttps://doi.org/10.1145/266670.266695openalex-snapshot
Distributed partial evaluation
inferred← citeshttps://doi.org/10.1145/267658.267721openalex-snapshot
Transportable information agents
inferred← citeshttps://doi.org/10.1145/331960.331978openalex-snapshot
Verischemelog
inferred← citeshttps://doi.org/10.1145/331963.331978openalex-snapshot
Verischemelog
inferred← citeshttps://doi.org/10.1145/382109.382668openalex-snapshot
Scheme
inferred← citeshttps://doi.org/10.1145/507635.507642openalex-snapshot
Down with Emacs Lisp
inferred← citeshttps://doi.org/10.1145/507669.507642openalex-snapshot
Down with Emacs Lisp
inferred← citeshttps://doi.org/10.1145/581478.581504openalex-snapshot
Final shift for call/cc:
inferred← citeshttps://doi.org/10.1145/583852.581504openalex-snapshot
Final shift for call/cc:
inferred← citeshttps://doi.org/10.1145/858570.858578openalex-snapshot
Engineering a customizable intermediate representation
inferred← citeshttps://doi.org/10.14279/depositonce-1407openalex-snapshot
Public Key Infrastrukturen in Agentenarchitekturen zur Realisierung dienstbasierter Anwendungen
inferred← citeshttps://doi.org/10.2197/ipsjjip.26.54openalex-snapshot
Safe Low-level Code Generation in Coq Using Monomorphization and Monadification
inferred← citeshttps://doi.org/10.29007/csq2openalex-snapshot
Schism: A Self-Hosting Scheme to WebAssembly Compiler
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2016.3openalex-snapshot
Fine-grained Language Composition: A Case Study
inferred← citeshttps://doi.org/10.7146/brics.v6i51.20121openalex-snapshot
Formalizing Implementation Strategies for First-Class Continuations
inferred← citeshttps://doi.org/10.7717/peerj-cs.1238openalex-snapshot
Benefits, challenges, and usability evaluation of DeloreanJS: a back-in-time debugger for JavaScript
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.