On the public citation graph
ATerms for manipulation and exchange of structured data: It’s all about sharing
0 signed · 76 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1097-024x(200003)30:3<259::aid-spe298>3.0.co;2-yopenalex-snapshot
Efficient annotated terms
inferredcites →https://doi.org/10.1002/smr.295openalex-snapshot
Revitalizing modifiability of legacy assets
inferredcites →https://doi.org/10.1002/spe.4380180902openalex-snapshot
Garbage collection in an uncooperative environment
inferredcites →https://doi.org/10.1007/11576235_31openalex-snapshot
Lock-Free Parallel Garbage Collection
inferredcites →https://doi.org/10.1007/3-540-36388-2_24openalex-snapshot
A Strafunski Application Letter
inferredcites →https://doi.org/10.1007/3-540-36579-6_5openalex-snapshot
A Pattern Matching Compiler for Multiple Target Languages
inferredcites →https://doi.org/10.1007/3-540-44404-1_11openalex-snapshot
Equational Binary Decision Diagrams
inferredcites →https://doi.org/10.1007/3-540-44585-4_23openalex-snapshot
µCRL: A Toolset for Analysing Algebraic Specifications
inferredcites →https://doi.org/10.1007/3-540-44881-0_30openalex-snapshot
Environments for Term Rewriting Engines for Free!
inferredcites →https://doi.org/10.1007/3-540-45306-7_26openalex-snapshot
The Asf+Sdf Meta-environment: A Component-Based Language Development Environment
inferredcites →https://doi.org/10.1007/3-540-45645-7_16openalex-snapshot
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress
inferredcites →https://doi.org/10.1007/3-540-46419-0_8openalex-snapshot
CASL: From Semantics to Tools
inferredcites →https://doi.org/10.1007/978-0-387-35350-0_1openalex-snapshot
Evolutionary software engineering: a component-based approach
inferredcites →https://doi.org/10.1007/978-3-540-27799-6_13openalex-snapshot
Variability and Component Composition
inferredcites →https://doi.org/10.1007/978-3-540-44616-3_6openalex-snapshot
Development of Parsing Tools for CASL Using Generic Language Technology
inferredcites →https://doi.org/10.1007/bfb0054176openalex-snapshot
Factotum: Automatic and systematic sharing support for systems analyzers
inferredcites →https://doi.org/10.1007/s00446-003-0095-7openalex-snapshot
The wake up and report problem is time-equivalent to the firing squad synchronization problem
inferredcites →https://doi.org/10.1007/s00446-004-0115-2openalex-snapshot
Lock-free dynamic hash tables with open addressing
inferredcites →https://doi.org/10.1016/j.entcs.2004.04.009openalex-snapshot
Simulating Algebraic Specification Genericity on Languages with Initial Semantics
inferredcites →https://doi.org/10.1016/j.entcs.2005.04.037openalex-snapshot
High-Fidelity C/C++ Code Transformation
inferredcites →https://doi.org/10.1016/j.entcs.2005.08.003openalex-snapshot
Constructing Induction Rules for Deductive Synthesis Proofs
inferredcites →https://doi.org/10.1016/j.entcs.2007.06.014openalex-snapshot
Canonical Abstract Syntax Trees
inferredcites →https://doi.org/10.1016/j.jlap.2003.12.001openalex-snapshot
Manipulating algebraic specifications with term-based and graph-based representations
inferredcites →https://doi.org/10.1016/j.jlap.2003.12.002openalex-snapshot
Generation of abstract programming interfaces from syntax definitions
inferredcites →https://doi.org/10.1016/j.jlap.2003.12.003openalex-snapshot
GC2: a generational conservative garbage collector for the ATerm library
inferredcites →https://doi.org/10.1016/j.jlap.2005.10.005openalex-snapshot
Syntax and consistent equation semantics of hybrid Chi
inferredcites →https://doi.org/10.1016/j.scico.2005.01.001openalex-snapshot
Towards lightweight checks for mass maintenance transformations
inferredcites →https://doi.org/10.1016/j.websem.2007.03.004openalex-snapshot
Pellet: A practical OWL-DL reasoner
inferredcites →https://doi.org/10.1016/s0167-6423(02)00108-9openalex-snapshot
Object-oriented Tree Traversal with JJForester
inferredcites →https://doi.org/10.1016/s0167-6423(97)00021-xopenalex-snapshot
The discrete time ToolBus — A software coordination architecture
inferredcites →https://doi.org/10.1016/s1571-0661(05)80014-3openalex-snapshot
Term Rewriting for Sale
inferredcites →https://doi.org/10.1016/s1571-0661(05)82629-5openalex-snapshot
Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation
inferredcites →https://doi.org/10.1049/ip-sen:20041181openalex-snapshot
Generator of efficient strongly typed abstract syntax trees in Java
inferredcites →https://doi.org/10.1109/scam.2003.1238042openalex-snapshot
Parse-tree annotations meet re-engineering concerns
inferredcites →https://doi.org/10.1109/sefm.2003.1236224openalex-snapshot
Light-weight theorem proving for debugging and verifying units of code
inferredcites →https://doi.org/10.1109/wcre.2000.891463openalex-snapshot
GXL: toward a standard exchange format
inferredcites →https://doi.org/10.1109/wcre.2000.891464openalex-snapshot
Towards portable source code representations using XML
inferredcites →https://doi.org/10.1109/wpc.2002.1021320openalex-snapshot
Where's the schema? A taxonomy of patterns for software exchange
inferredcites →https://doi.org/10.1145/136035.136043openalex-snapshot
Symbolic Boolean manipulation with ordered binary-decision diagrams
inferredcites →https://doi.org/10.1145/151257.151260openalex-snapshot
A meta-environment for generating programming environments
inferredcites →https://doi.org/10.1145/71605.71607openalex-snapshot
The syntax definition formalism SDF—reference manual—
inferredcites →https://doi.org/10.1145/941566.941568openalex-snapshot
Term rewriting with traversal functions
inferredcites →https://doi.org/10.2498/cit.2002.01.01openalex-snapshot
Domain-Specific Language Design Requires Feature Descriptions
inferredcites →https://doi.org/10.5753/sbes.2002.23965openalex-snapshot
FERUS: Um Ambiente de Desenvolvimento de Especificações CASL
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-031-19849-6_25openalex-snapshot
A Thread-Safe Term Library:(with a New Fast Mutual Exclusion Protocol)
inferred← citeshttps://doi.org/10.1007/978-3-319-11245-9_11openalex-snapshot
Respect Your Parents: How Attribution and Rewriting Can Get Along
inferred← citeshttps://doi.org/10.1007/bf03192553openalex-snapshot
A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework
inferred← citeshttps://doi.org/10.1007/s10664-017-9592-3openalex-snapshot
ProMeTA: a taxonomy for program metamodels in program reverse engineering
inferred← citeshttps://doi.org/10.1016/j.scico.2012.12.002openalex-snapshot
Incremental concrete syntax for embedded languages with support for separate compilation
inferred← citeshttps://doi.org/10.1016/j.scico.2015.11.008openalex-snapshot
JPC: A library for categorising and applying inter-language conversions between Java and Prolog
inferred← citeshttps://doi.org/10.1016/j.scico.2016.05.003openalex-snapshot
Enabling PHP software engineering research in Rascal
inferred← citeshttps://doi.org/10.1017/cbo9780511770524.012openalex-snapshot
From Centaur to the Meta-Environment: a tribute to a great meta-technologist
inferred← citeshttps://doi.org/10.1109/icsme.2016.82openalex-snapshot
A Taxonomy for Program Metamodels in Program Reverse Engineering
inferred← citeshttps://doi.org/10.1109/synasc.2012.23openalex-snapshot
Label-Based Programming Language Semantics in K Framework with SDF
inferred← citeshttps://doi.org/10.1145/1982185.1982470openalex-snapshot
Incremental concrete syntax for embedded languages
inferred← citeshttps://doi.org/10.1145/2502488.2502490openalex-snapshot
Generic representations of tree transformations
inferred← citeshttps://doi.org/10.1145/2628136.2628148openalex-snapshot
Maximal sharing in the Lambda calculus with letrec
inferred← citeshttps://doi.org/10.1145/2692915.2628148openalex-snapshot
Maximal sharing in the Lambda calculus with letrec
inferred← citeshttps://doi.org/10.1145/2851553.2851566openalex-snapshot
Performance Modeling of Maximal Sharing
inferred← citeshttps://doi.org/10.1145/3623476openalex-snapshot
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering
inferred← citeshttps://doi.org/10.1145/3623476.3623520openalex-snapshot
Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars
inferred← citeshttps://doi.org/10.1145/3839234openalex-snapshot
A Comprehensive History of μCRL and mCRL2
inferred← citeshttps://doi.org/10.4018/978-1-4666-2092-6.ch004openalex-snapshot
An Evaluation of a Pure Embedded Domain-Specific Language for Strategic Term Rewriting
inferred← citeshttps://doi.org/10.4204/eptcs.56.5openalex-snapshot
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
inferred← citeshttps://doi.org/10.48550/arxiv.1610.05954openalex-snapshot
Unfolding Semantics of the Untyped λ-Calculus with letrec
inferred← citeshttps://doi.org/10.6100/ir740040openalex-snapshot
From napkin sketches to reliable software
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.