On the public citation graph

Rascal: From Algebraic Specification to Meta-Programming

https://doi.org/10.4204/eptcs.56.2
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-09541-1_36openalex-snapshot
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs
inferredcites →https://doi.org/10.1007/3-540-44802-0_1openalex-snapshot
Local Reasoning about Programs that Alter Data Structures
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/978-3-540-71999-1openalex-snapshot
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
inferredcites →https://doi.org/10.1007/978-3-642-14808-8_6openalex-snapshot
Tracking Down the Origins of Ambiguity in Context-Free Grammars
inferredcites →https://doi.org/10.1007/978-3-642-17796-5_9openalex-snapshot
Matching Logic: An Alternative to Hoare/Floyd Logic
inferredcites →https://doi.org/10.1007/978-3-642-18023-1_2openalex-snapshot
Excerpts from the TXL Cookbook
inferredcites →https://doi.org/10.1007/978-3-642-18023-1_6openalex-snapshot
EASY Meta-programming with Rascal
inferredcites →https://doi.org/10.1007/bfb0014303openalex-snapshot
Industrial applications of ASF+SDF
inferredcites →https://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferredcites →https://doi.org/10.1016/j.jlap.2010.03.012openalex-snapshot
An overview of the K semantic framework
inferredcites →https://doi.org/10.1016/s0304-3975(01)00359-0openalex-snapshot
Maude: specification and programming in rewriting logic
inferredcites →https://doi.org/10.1016/s1571-0661(05)82552-6openalex-snapshot
An Overview of ELAN
inferredcites →https://doi.org/10.1109/csmr.2007.52openalex-snapshot
Using The Meta-Environment for Maintenance and Renovation
inferredcites →https://doi.org/10.1109/scam.2009.28openalex-snapshot
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation
inferredcites →https://doi.org/10.1109/wcre.2008.34openalex-snapshot
WCRE 1998 Most Influential Paper: Grokking Software Architecture
inferredcites →https://doi.org/10.1145/1134285.1134420openalex-snapshot
Relational programming with CrocoPat
inferredcites →https://doi.org/10.1145/151257.151260openalex-snapshot
A meta-environment for generating programming environments
inferredcites →https://doi.org/10.1145/1640089.1640104openalex-snapshot
Accelerating the creation of customized, language-Specific IDEs in Eclipse
inferredcites →https://doi.org/10.1145/1985793.1985887openalex-snapshot
Bringing domain-specific languages to digital forensics
inferredcites →https://doi.org/10.1145/1993498.1993548openalex-snapshot
LL(*)
inferredcites →https://doi.org/10.1145/357153.357158openalex-snapshot
Programming with Equations
inferredcites →https://doi.org/10.1145/567097.567099openalex-snapshot
Compiling language definitions
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.4230/lipics.rta.2010.151openalex-snapshot
A Rewriting Logic Semantics Approach to Modular Program Analysis

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-030-17502-3openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-17502-3_6openalex-snapshot
The Rewrite Engines Competitions: A RECtrospective
inferred← citeshttps://doi.org/10.1007/978-3-030-56356-1_8openalex-snapshot
A Strategic Graph Rewriting Model of Rational Negligence in Financial Markets
inferred← citeshttps://doi.org/10.1007/978-3-031-65941-6_9openalex-snapshot
The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly
inferred← citeshttps://doi.org/10.1007/978-3-319-02654-1_4openalex-snapshot
xMOF: Executable DSMLs Based on fUML
inferred← citeshttps://doi.org/10.1007/978-3-319-99840-4_1openalex-snapshot
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-34005-5_2openalex-snapshot
Program Analysis Scenarios in Rascal
inferred← citeshttps://doi.org/10.1016/j.entcs.2014.05.003openalex-snapshot
The K Primer (version 3.3)
inferred← citeshttps://doi.org/10.1016/j.jvlc.2018.10.004openalex-snapshot
On declarative rewriting for sound and complete union, intersection and negation types
inferred← citeshttps://doi.org/10.1016/j.scico.2013.11.038openalex-snapshot
Semantics of programming languages: Using Asf+Sdf
inferred← citeshttps://doi.org/10.1016/j.scico.2016.05.003openalex-snapshot
Enabling PHP software engineering research in Rascal
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103377openalex-snapshot
Domain-specific language engineering for large-scale graph analytics using Spoofax: An industry report
inferred← citeshttps://doi.org/10.1145/2480362.2480526openalex-snapshot
Using maude rewriting system to modularize and extend SQL
inferred← citeshttps://doi.org/10.1145/2811237.2811297openalex-snapshot
Code Transformation by Direct Transformation of ASTs
inferred← citeshttps://doi.org/10.1145/3170492.3136042openalex-snapshot
Rewriting for sound and complete union, intersection and negation types
inferred← citeshttps://doi.org/10.1145/3605156.3606455openalex-snapshot
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
inferred← citeshttps://doi.org/10.17706/jsw.12.11.858-873openalex-snapshot
Ultra-Lightweight RPC Protocol Framework with Variadic Templates in C++11
inferred← citeshttps://doi.org/10.48550/arxiv.1711.03433openalex-snapshot
h: A Plank for Higher-order Attribute Contraction Schemes
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.