On the public citation graph

Language Prototyping: An Algebraic Specification Approach

https://doi.org/10.1142/3163
0 signed · 133 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 points at this work

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

inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(19991225)29:15<1379::aid-spe286>3.0.co;2-vopenalex-snapshot
LETOS - a lightweight execution tool for operational semantics
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(200003)30:3<259::aid-spe298>3.0.co;2-yopenalex-snapshot
Efficient annotated terms
inferred← citeshttps://doi.org/10.1002/spe.423openalex-snapshot
Semi‐automatic grammar recovery
inferred← citeshttps://doi.org/10.1007/1-4020-4390-2_15openalex-snapshot
Peacemaker 2020 A System for Global Conflict Analysis and Resolution; A Work of Fiction and A Research Challenge
inferred← citeshttps://doi.org/10.1007/11506676_7openalex-snapshot
Natural Rewriting for General Term Rewriting Systems
inferred← citeshttps://doi.org/10.1007/11877028_9openalex-snapshot
Applications of the Asf+Sdf Meta-Environment
inferred← citeshttps://doi.org/10.1007/3-540-44815-2_7openalex-snapshot
Grammars as Contracts
inferred← citeshttps://doi.org/10.1007/3-540-44881-0_30openalex-snapshot
Environments for Term Rewriting Engines for Free!
inferred← citeshttps://doi.org/10.1007/3-540-45306-7_26openalex-snapshot
The Asf+Sdf Meta-environment: A Component-Based Language Development Environment
inferred← citeshttps://doi.org/10.1007/3-540-45418-7_2openalex-snapshot
Jakarta: A Toolset for Reasoning about JavaCard
inferred← citeshttps://doi.org/10.1007/3-540-45610-4_17openalex-snapshot
Rewriting Strategies for Instruction Selection
inferred← citeshttps://doi.org/10.1007/3-540-45821-2_19openalex-snapshot
Meta-programming with Concrete Object Syntax
inferred← citeshttps://doi.org/10.1007/3-540-46562-6_4openalex-snapshot
Enhanced Control Flow Graphs in Montages
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_17openalex-snapshot
The UniForM WorkBench A Higher Order Tool Integration Framework
inferred← citeshttps://doi.org/10.1007/3-540-48685-2_3openalex-snapshot
Strategic Pattern Matching
inferred← citeshttps://doi.org/10.1007/3-540-49254-2_7openalex-snapshot
Towards an Algebraic Specification of the Java Virtual Machine
inferred← citeshttps://doi.org/10.1007/3-540-63875-x_60openalex-snapshot
Share-where maintenance in visual algebraic specifications
inferred← citeshttps://doi.org/10.1007/978-0-387-35350-0_1openalex-snapshot
Evolutionary software engineering: a component-based approach
inferred← citeshttps://doi.org/10.1007/978-1-4612-1676-6_12openalex-snapshot
Input and Output for Specified Visual Languages
inferred← citeshttps://doi.org/10.1007/978-1-84882-736-3_8openalex-snapshot
Programming Language Description Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-63595-4_5openalex-snapshot
Variants in the Infinitary Unification Wonderland
inferred← citeshttps://doi.org/10.1007/978-3-319-25945-1_5openalex-snapshot
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage
inferred← citeshttps://doi.org/10.1007/978-3-319-27436-2_3openalex-snapshot
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
inferred← citeshttps://doi.org/10.1007/978-3-540-24572-8_11openalex-snapshot
Extracting mathematical semantics from documents
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_13openalex-snapshot
Program Transformation with Stratego/XT
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_14openalex-snapshot
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
inferred← citeshttps://doi.org/10.1007/978-3-540-32033-3_21openalex-snapshot
Natural Narrowing for General Term Rewriting Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_6openalex-snapshot
Development of Parsing Tools for CASL Using Generic Language Technology
inferred← citeshttps://doi.org/10.1007/978-3-540-49020-3_1openalex-snapshot
Research Issues in the Renovation of Legacy Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-49051-7_14openalex-snapshot
Compilation and Memory Management for ASF+SDF
inferred← citeshttps://doi.org/10.1007/978-3-540-69927-9_5openalex-snapshot
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
inferred← citeshttps://doi.org/10.1007/978-3-642-00434-6_2openalex-snapshot
Model-Driven Engineering Meets Generic Language Technology
inferred← citeshttps://doi.org/10.1007/978-3-642-02408-5_17openalex-snapshot
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-02655-3_12openalex-snapshot
Writing Composable Software with InterpreterLib
inferred← citeshttps://doi.org/10.1007/978-3-642-04164-8_11openalex-snapshot
Type Checking Evolving Languages with MSOS
inferred← citeshttps://doi.org/10.1007/978-3-642-16310-4_16openalex-snapshot
The Third Rewrite Engines Competition
inferred← citeshttps://doi.org/10.1007/978-3-642-16310-4_2openalex-snapshot
Twenty Years of Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-19440-5_22openalex-snapshot
Interactive Disambiguation of Meta Programs with Concrete Object Syntax
inferred← citeshttps://doi.org/10.1007/978-3-642-21732-6_8openalex-snapshot
Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare
inferred← citeshttps://doi.org/10.1007/978-3-642-22953-4_1openalex-snapshot
The Rewriting Logic Semantics Project: A Progress Report
inferred← citeshttps://doi.org/10.1007/978-3-642-28830-2_19openalex-snapshot
RLSRunner: Linking Rascal with K for Program Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-35130-3_22openalex-snapshot
Tracking Insecure Information Flows: A Prototype Evaluator in ASF+SDF
inferred← citeshttps://doi.org/10.1007/978-3-662-57669-4_2openalex-snapshot
Symbolic Reasoning Methods in Rewriting Logic and Maude
inferred← citeshttps://doi.org/10.1007/bfb0000489openalex-snapshot
The hidden function question revisited
inferred← citeshttps://doi.org/10.1007/bfb0014303openalex-snapshot
Industrial applications of ASF+SDF
inferred← citeshttps://doi.org/10.1007/bfb0014323openalex-snapshot
The discrete time toolbus
inferred← citeshttps://doi.org/10.1007/bfb0014345openalex-snapshot
The ToolBus coordination architecture
inferred← citeshttps://doi.org/10.1007/bfb0014346openalex-snapshot
ASD: The action semantic description tools
inferred← citeshttps://doi.org/10.1007/bfb0037407openalex-snapshot
Core technologies for system renovation
inferred← citeshttps://doi.org/10.1007/s00165-017-0415-5openalex-snapshot
Equational formulas and pattern operations in initial order-sorted algebras
inferred← citeshttps://doi.org/10.1007/s10270-024-01185-xopenalex-snapshot
OIL: an industrial case study in language engineering with Spoofax
inferred← citeshttps://doi.org/10.1007/s10817-005-0084-6openalex-snapshot
Tool-Assisted Specification and Verification of Typed Low-Level Languages
inferred← citeshttps://doi.org/10.1007/s10990-008-9028-2openalex-snapshot
Proving operational termination of membership equational programs
inferred← citeshttps://doi.org/10.1007/s11334-009-0111-6openalex-snapshot
An agile approach to language modelling and development
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.009openalex-snapshot
Simulating Algebraic Specification Genericity on Languages with Initial Semantics
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.06.005openalex-snapshot
An Action Environment
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.07.012openalex-snapshot
Playing with Maude
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.056openalex-snapshot
TIDE: A Generic Debugging Framework — Tool Demonstration —
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.08.020openalex-snapshot
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.061openalex-snapshot
Web Services and Interoperability for the Maude Termination Tool
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.09.042openalex-snapshot
Maximal Laziness
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.08.035openalex-snapshot
Integrating Textual and Graphical Modelling Languages
inferred← citeshttps://doi.org/10.1016/j.ic.2008.03.026openalex-snapshot
A rewriting logic approach to operational semantics
inferred← citeshttps://doi.org/10.1016/j.ic.2013.08.004openalex-snapshot
The rewriting logic semantics project: A progress report
inferred← citeshttps://doi.org/10.1016/j.jcss.2016.05.003openalex-snapshot
Linking theorems for tree transducers
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.06.001openalex-snapshot
Normal forms and normal theories in conditional rewriting
inferred← citeshttps://doi.org/10.1016/j.jlamp.2023.100877openalex-snapshot
Variants and satisfiability in the infinitary unification wonderland
inferred← citeshttps://doi.org/10.1016/j.jlap.2012.06.003openalex-snapshot
Twenty years of rewriting logic
inferred← citeshttps://doi.org/10.1016/j.jsc.2004.12.011openalex-snapshot
A survey of strategies in rule-based program transformation systems
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.2003.04.001openalex-snapshot
The algebraic structure of interfaces
inferred← citeshttps://doi.org/10.1016/j.scico.2005.06.006openalex-snapshot
Implementing aspect-oriented programming constructs as modular language extensions
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.12.005openalex-snapshot
Look-ahead removal for total deterministic top-down tree transducers
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.12.026openalex-snapshot
Strict coherence of conditional rewriting modulo axioms
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00108-9openalex-snapshot
Object-oriented Tree Traversal with JJForester
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00037-4openalex-snapshot
Generation of components for software renovation factories from context-free grammars
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00040-4openalex-snapshot
Program plan recognition for year 2000 tools
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00268-5openalex-snapshot
Polymorphic syntax definition
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00270-1openalex-snapshot
A Survey of Rewriting Strategies in Program Transformation Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80014-3openalex-snapshot
Term Rewriting for Sale
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80122-7openalex-snapshot
ASF+SDF parsing tools applied to ELAN
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80458-xopenalex-snapshot
Towards Language-Agnostic Mobile Code
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82628-3openalex-snapshot
Aspects as Modular Language Extensions
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82629-5openalex-snapshot
Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation
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.1017/s0956796810000183openalex-snapshot
A lightweight approach to datatype-generic rewriting
inferred← citeshttps://doi.org/10.1023/b:pacs.0000004133.80483.66openalex-snapshot
Algebraic Semantics of an Imperative Programming Language
inferred← citeshttps://doi.org/10.1049/ip-sen:20041182openalex-snapshot
Constructive Action Semantics for Core ML
inferred← citeshttps://doi.org/10.1109/csmr.2003.1192408openalex-snapshot
Towards automatical migration of transformation rules after grammar extension
inferred← citeshttps://doi.org/10.1109/csmr.2006.4openalex-snapshot
A language independent framework for context-sensitive formatting
inferred← citeshttps://doi.org/10.1109/icces.2008.4772953openalex-snapshot
Plenary talk III Domain-specific languages
inferred← citeshttps://doi.org/10.1109/icsm.2001.972737openalex-snapshot
Cost-effective maintenance tools for proprietary languages
inferred← citeshttps://doi.org/10.1109/icsm.2002.1167816openalex-snapshot
Pretty-printing for software reengineering
inferred← citeshttps://doi.org/10.1109/scam.2003.1238032openalex-snapshot
Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs
inferred← citeshttps://doi.org/10.1109/vl.1996.545280openalex-snapshot
The VAS formalism in VASE
inferred← citeshttps://doi.org/10.1109/vl.1997.626589openalex-snapshot
Pretty-printing of visual sentences
inferred← citeshttps://doi.org/10.1109/wpc.2003.1199184openalex-snapshot
How understanding and restructuring differ from compiling -a rewriting perspective
inferred← citeshttps://doi.org/10.1145/1014007.1014022openalex-snapshot
Proving termination of membership equational programs
inferred← citeshttps://doi.org/10.1145/1028976.1029007openalex-snapshot
Concrete syntax for objects
inferred← citeshttps://doi.org/10.1145/1035292.1029007openalex-snapshot
Concrete syntax for objects
inferred← citeshttps://doi.org/10.1145/1404927.1404931openalex-snapshot
Modularizing invasive aspect languages
inferred← citeshttps://doi.org/10.1145/1411318.1411321openalex-snapshot
A lightweight approach to datatype-generic rewriting
inferred← citeshttps://doi.org/10.1145/1869459.1869497openalex-snapshot
The Spoofax language workbench
inferred← citeshttps://doi.org/10.1145/2003476.2003481openalex-snapshot
Incremental checking of well-founded recursive specifications modulo axioms
inferred← citeshttps://doi.org/10.1145/251621.251633openalex-snapshot
Re-engineering needs generic programming language technology
inferred← citeshttps://doi.org/10.1145/265943.265944openalex-snapshot
Toward a complete transformational toolkit for compilers
inferred← citeshttps://doi.org/10.1145/2814251.2814266openalex-snapshot
The whiley rewrite language (WyRL)
inferred← citeshttps://doi.org/10.1145/289423.289425openalex-snapshot
Building program optimizers with rewriting strategies
inferred← citeshttps://doi.org/10.1145/291251.289425openalex-snapshot
Building program optimizers with rewriting strategies
inferred← citeshttps://doi.org/10.1145/291889.291903openalex-snapshot
Within ARM's reach
inferred← citeshttps://doi.org/10.1145/293677.293679openalex-snapshot
Alma-O
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/3486608.3486907openalex-snapshot
Vision: the next 700 language workbenches
inferred← citeshttps://doi.org/10.1145/351159.351173openalex-snapshot
Semantics of programming languages
inferred← citeshttps://doi.org/10.1145/366378.366379openalex-snapshot
A slicing-based approach for locating type errors
inferred← citeshttps://doi.org/10.1145/3678232.3678236openalex-snapshot
NuITP: An Inductive Theorem Prover for Equational Program Verification
inferred← citeshttps://doi.org/10.1145/567097.567099openalex-snapshot
Compiling language definitions
inferred← citeshttps://doi.org/10.1145/941566.941568openalex-snapshot
Term rewriting with traversal functions
inferred← citeshttps://doi.org/10.1145/965660.965672openalex-snapshot
A language development environment for Eclipse
inferred← citeshttps://doi.org/10.14236/ewic/al1997.1openalex-snapshot
Formal Aspects of and Development Environments for Montages
inferred← citeshttps://doi.org/10.14236/ewic/al1997.12openalex-snapshot
CASL for ASF+SDF Users
inferred← citeshttps://doi.org/10.14236/ewic/al1997.5openalex-snapshot
Implementation of a Prototype for the New ASF+SDF Meta-Environment
inferred← citeshttps://doi.org/10.14236/ewic/al1997.7openalex-snapshot
An Algebraic Specification of a Transformation Tool for Prolog Programs
inferred← citeshttps://doi.org/10.14236/ewic/al1997.8openalex-snapshot
A Case Study of a Slicing-Based Approach for Locating Type Errors
inferred← citeshttps://doi.org/10.14236/ewic/al1997.9openalex-snapshot
Specification of Rewriting Strategies∗
inferred← citeshttps://doi.org/10.1504/ijcat.2011.045410openalex-snapshot
Feasibility study of software reengineering towards role-based access control
inferred← citeshttps://doi.org/10.24926/2017.188954openalex-snapshot
Reliably composable language extensions
inferred← citeshttps://doi.org/10.2498/cit.2002.01.01openalex-snapshot
Domain-Specific Language Design Requires Feature Descriptions
inferred← citeshttps://doi.org/10.3990/1.9789036529563openalex-snapshot
Graph based verification of software evolution requirements
inferred← citeshttps://doi.org/10.7146/brics.v11i35.21860openalex-snapshot
Type Checking Semantic Functions in ASDF
inferred← citeshttps://doi.org/10.7146/brics.v11i36.21861openalex-snapshot
An Action Environment
inferred← citeshttps://doi.org/10.7146/brics.v11i37.21862openalex-snapshot
Constructive Action Semantics for Core ML
inferred← citeshttps://doi.org/10.7146/brics.v4i49.19270openalex-snapshot
CASL for ASF+SDF Users
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.