On the public citation graph
Domain-Specific Program Generation
0 signed · 163 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 points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.1026openalex-snapshot
A survey of algorithmic skeleton frameworks: high‐level structured parallel programming enablers
inferred← citeshttps://doi.org/10.1007/11527800_25openalex-snapshot
Overview of Generative Software Development
inferred← citeshttps://doi.org/10.1007/11561163_10openalex-snapshot
Program Generation and Components
inferred← citeshttps://doi.org/10.1007/11561347_12openalex-snapshot
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
inferred← citeshttps://doi.org/10.1007/11561347_4openalex-snapshot
A Generative Programming Approach to Developing DSL Compilers
inferred← citeshttps://doi.org/10.1007/11666806_13openalex-snapshot
Comparison of Geometrical and Algebraic Multigrid Preconditioners for Data-Sparse Boundary Element Matrices
inferred← citeshttps://doi.org/10.1007/11808107_5openalex-snapshot
Scalable Programming Abstractions for XML Services
inferred← citeshttps://doi.org/10.1007/11877028_1openalex-snapshot
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite
inferred← citeshttps://doi.org/10.1007/11877028_10openalex-snapshot
MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT
inferred← citeshttps://doi.org/10.1007/978-1-4471-4126-6_4openalex-snapshot
Homogeneous Meta-Programming Techniques with Case Study
inferred← citeshttps://doi.org/10.1007/978-3-319-07151-0_7openalex-snapshot
On Cross-Stage Persistence in Multi-Stage Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-07437-5_14openalex-snapshot
Improved Model-Driven Engineering of User-Interfaces with Generative Macros
inferred← citeshttps://doi.org/10.1007/978-3-319-07650-8_13openalex-snapshot
A Uniform Problem Solving in the Cognitive Algebra of Bounded Rational Agents
inferred← citeshttps://doi.org/10.1007/978-3-319-09873-9_67openalex-snapshot
Writing Self-adaptive Codes for Heterogeneous Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10431-7_17openalex-snapshot
Rapid Prototyping of a Semantically Well Founded Circus Model Checker
inferred← citeshttps://doi.org/10.1007/978-3-319-11958-8_23openalex-snapshot
Generative Learning Object (GLO) Specialization: Teacher’s and Learner’s View
inferred← citeshttps://doi.org/10.1007/978-3-319-14313-2_47openalex-snapshot
ExaStencils: Advanced Stencil-Code Engineering
inferred← citeshttps://doi.org/10.1007/978-3-319-15895-2_3openalex-snapshot
Modelling and Implementation of Correct by Construction Healthcare Workflows
inferred← citeshttps://doi.org/10.1007/978-3-319-15940-9_3openalex-snapshot
DSL in C++ Template Metaprogram
inferred← citeshttps://doi.org/10.1007/978-3-319-19686-2_8openalex-snapshot
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-24012-1_3openalex-snapshot
Preserving Lexical Scoping When Dynamically Embedding Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_10openalex-snapshot
A DSL Paradigm for Domains of Services: A Study of Communication Services
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_11openalex-snapshot
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_12openalex-snapshot
A Language and Tool for Generating Efficient Virtual Machine Interpreters
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-25935-0_15openalex-snapshot
Optimizing Sequences of Skeleton Calls
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_17openalex-snapshot
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_18openalex-snapshot
Guaranteed Optimization for Domain-Specific Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_2openalex-snapshot
From a Program Family to a Domain-Specific Language
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_3openalex-snapshot
A Gentle Introduction to Multi-stage Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_5openalex-snapshot
Program Optimization in the Domain of High-Performance Parallelism
inferred← citeshttps://doi.org/10.1007/978-3-540-25938-1_5openalex-snapshot
Adding Concrete Syntax to a Prolog-Based Program Synthesis System
inferred← citeshttps://doi.org/10.1007/978-3-540-31985-6_14openalex-snapshot
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-68111-3_120openalex-snapshot
A Container-Iterator Parallel Programming Model
inferred← citeshttps://doi.org/10.1007/978-3-540-69330-7_10openalex-snapshot
A Language for the Compact Representation of Multiple Program Versions
inferred← citeshttps://doi.org/10.1007/978-3-540-69384-0_21openalex-snapshot
Functional Meta-programming for Parallel Skeletons
inferred← citeshttps://doi.org/10.1007/978-3-540-69554-7_11openalex-snapshot
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-69927-9_13openalex-snapshot
Code Generation by Model Transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-70621-2_17openalex-snapshot
Algorithmic Skeletons for Branch and Bound
inferred← citeshttps://doi.org/10.1007/978-3-540-71229-9_15openalex-snapshot
A Declarative Framework for Analysis and Optimization
inferred← citeshttps://doi.org/10.1007/978-3-540-72521-3_7openalex-snapshot
Expression and Loop Libraries for High-Performance Code Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-540-75755-9_106openalex-snapshot
Data Dependence Analysis for the Parallelization of Numerical Tree Codes
inferred← citeshttps://doi.org/10.1007/978-3-540-76786-2_1openalex-snapshot
Datatype-Generic Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-85261-2_12openalex-snapshot
Explicit Dependence Metadata in an Active Visual Effects Library
inferred← citeshttps://doi.org/10.1007/978-3-540-85451-7_95openalex-snapshot
Deque-Free Work-Optimal Parallel STL Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-540-87875-9_13openalex-snapshot
Example-Based Program Transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-88643-3_11openalex-snapshot
Evolving a DSL Implementation
inferred← citeshttps://doi.org/10.1007/978-3-540-88643-3_6openalex-snapshot
A Gentle Introduction to Multi-stage Programming, Part II
inferred← citeshttps://doi.org/10.1007/978-3-540-89652-4_36openalex-snapshot
QoS Policies for Business Processes in Service Oriented Architectures
inferred← citeshttps://doi.org/10.1007/978-3-642-03034-5_14openalex-snapshot
A Haskell Hosted DSL for Writing Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-03034-5_18openalex-snapshot
Operator Language: A Program Generation Framework for Fast Kernels
inferred← citeshttps://doi.org/10.1007/978-3-642-03034-5_4openalex-snapshot
Gel: A Generic Extensible Language
inferred← citeshttps://doi.org/10.1007/978-3-642-16478-1_5openalex-snapshot
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates
inferred← citeshttps://doi.org/10.1007/978-3-642-16558-0_6openalex-snapshot
Compiler-Support for Robust Multi-core Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-17881-8_26openalex-snapshot
Assisting Programmers Resolving Vulnerabilities in Java Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-18023-1_12openalex-snapshot
Lightweight Language Processing in Kiama
inferred← citeshttps://doi.org/10.1007/978-3-642-20775-4_3openalex-snapshot
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL
inferred← citeshttps://doi.org/10.1007/978-3-642-21493-6_2openalex-snapshot
From Grammars and Automata to Algebras and Coalgebras
inferred← citeshttps://doi.org/10.1007/978-3-642-21952-8_7openalex-snapshot
Domain-Specific Profiling
inferred← citeshttps://doi.org/10.1007/978-3-642-24452-0_4openalex-snapshot
Implementation Architecture and Multithreaded Runtime System of S-Net
inferred← citeshttps://doi.org/10.1007/978-3-642-24452-0_9openalex-snapshot
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors
inferred← citeshttps://doi.org/10.1007/978-3-642-25032-3_6openalex-snapshot
PiStache: Implementing π-Calculus in Scala
inferred← citeshttps://doi.org/10.1007/978-3-642-28145-7_33openalex-snapshot
Multi-Target Vectorization with MTPS C++ Generic Library
inferred← citeshttps://doi.org/10.1007/978-3-642-28830-2_11openalex-snapshot
Reconstructing Complex Metamodel Evolution
inferred← citeshttps://doi.org/10.1007/978-3-642-29822-6_17openalex-snapshot
Parallel Computation Skeletons with Premature Termination Property
inferred← citeshttps://doi.org/10.1007/978-3-642-30561-0_12openalex-snapshot
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs
inferred← citeshttps://doi.org/10.1007/978-3-642-31128-4_16openalex-snapshot
Program and Aspect Metrics for MATLAB
inferred← citeshttps://doi.org/10.1007/978-3-642-33469-6_19openalex-snapshot
An Algorithm of Parallel Programming Design Based on Problem Domain Model
inferred← citeshttps://doi.org/10.1007/978-3-642-36089-3_18openalex-snapshot
Declarative Name Binding and Scope Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-45404-2_12openalex-snapshot
Fine-Grained Role- and Attribute-Based Access Control for Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-54420-0_63openalex-snapshot
A High-Level IR Transformation System
inferred← citeshttps://doi.org/10.1007/978-3-662-44202-9_16openalex-snapshot
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding
inferred← citeshttps://doi.org/10.1007/978-3-662-44920-2_9openalex-snapshot
Language Design and Implementation via the Combination of Embedding and Parsing
inferred← citeshttps://doi.org/10.1007/s10766-025-00790-7openalex-snapshot
Automatic Heterogeneous Runtime Using Signal Processing Domain-Specific and Parallel Patterns
inferred← citeshttps://doi.org/10.1007/s10990-010-9061-9openalex-snapshot
A multi-tier semantics for Hop
inferred← citeshttps://doi.org/10.1007/s10990-013-9098-7openalex-snapshot
Types and associated type families for hardware simulation and synthesis
inferred← citeshttps://doi.org/10.1016/j.cl.2017.11.003openalex-snapshot
Systematic mapping study of template-based code generation
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.03.017openalex-snapshot
Deduction, Strategies, and Rewriting
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.07.022openalex-snapshot
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.009openalex-snapshot
Automated Derivation of Translators From Annotated Grammars
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.2008.03.041openalex-snapshot
Language Parametric Module Management for IDEs
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.10.038openalex-snapshot
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.05.022openalex-snapshot
A Rewriting Semantics for Maude Strategies
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.06.002openalex-snapshot
Dynamics for ML using Meta-Programming
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.06.007openalex-snapshot
Comparative Study of DSL Tools
inferred← citeshttps://doi.org/10.1016/j.ic.2018.03.001openalex-snapshot
Incorporating quotation and evaluation into Church's type theory
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.10.012openalex-snapshot
Case study: Re-engineering C++ component models via automatic program transformation
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.02.001openalex-snapshot
Object-oriented transformations for extracting aspects
inferred← citeshttps://doi.org/10.1016/j.jalgor.2007.04.002openalex-snapshot
Strategies and simulations in a semantic framework
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.scico.2005.10.012openalex-snapshot
Gaussian Elimination: A case study in efficient genericity with MetaOCaml
inferred← citeshttps://doi.org/10.1016/j.scico.2005.10.013openalex-snapshot
In search of a program generator to implement generic transformations for high-performance computing
inferred← citeshttps://doi.org/10.1016/j.scico.2006.02.002openalex-snapshot
Combining partial evaluation and staged interpretation in the implementation of domain-specific languages
inferred← citeshttps://doi.org/10.1016/j.scico.2006.05.002openalex-snapshot
Experiences with an object-oriented, multi-stage language
inferred← citeshttps://doi.org/10.1016/j.scico.2008.06.002openalex-snapshot
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation
inferred← citeshttps://doi.org/10.1016/j.scico.2008.09.008openalex-snapshot
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
inferred← citeshttps://doi.org/10.1016/j.scico.2009.07.004openalex-snapshot
Silver: An extensible attribute grammar system
inferred← citeshttps://doi.org/10.1016/j.scico.2009.10.003openalex-snapshot
Automated generation of program translation and verification tools using annotated grammars
inferred← citeshttps://doi.org/10.1016/j.scico.2012.03.005openalex-snapshot
GLL parse-tree generation
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.011openalex-snapshot
Domain-specific program profiling and its application to attribute grammars and term rewriting
inferred← citeshttps://doi.org/10.1016/j.scico.2014.11.004openalex-snapshot
Formal model-driven engineering of critical information systems
inferred← citeshttps://doi.org/10.1016/j.scico.2015.11.003openalex-snapshot
Modular language implementation in Rascal – experience report
inferred← citeshttps://doi.org/10.1016/j.scico.2016.08.006openalex-snapshot
Reactive model transformation with ATL
inferred← citeshttps://doi.org/10.1016/j.scico.2017.12.001openalex-snapshot
Efficient parsing with parser combinators
inferred← citeshttps://doi.org/10.1016/j.scico.2018.06.001openalex-snapshot
GLL syntax analysers for EBNF grammars
inferred← citeshttps://doi.org/10.1016/j.scico.2019.01.008openalex-snapshot
Derivation representation using binary subtree sets
inferred← citeshttps://doi.org/10.1016/j.sysarc.2019.08.001openalex-snapshot
A scala based framework for developing acceleration systems with FPGAs
inferred← citeshttps://doi.org/10.1017/s0956796819000054openalex-snapshot
A SQL to C compiler in 500 lines of code
inferred← citeshttps://doi.org/10.1080/17445760902758545openalex-snapshot
GUIDE: Parallel library-centric application design by a generic scientific simulation environment
inferred← citeshttps://doi.org/10.1109/icdt.2009.31openalex-snapshot
A Domain Specific Approach to Network Software Architecture: Assuring Conformance between Architecture and Code
inferred← citeshttps://doi.org/10.1109/ipdps.2011.265openalex-snapshot
Auto-generation of Parallel Finite-Differencing Code for MPI, TBB and CUDA
inferred← citeshttps://doi.org/10.1109/tse.2009.14openalex-snapshot
A Model-Based Approach to Families of Embedded Domain-Specific Languages
inferred← citeshttps://doi.org/10.1134/s0361768817060068openalex-snapshot
Query compilation in PostgreSQL by specialization of the DBMS source code
inferred← citeshttps://doi.org/10.1142/s0129626405002234openalex-snapshot
GENERATING MESSAGE-PASSING PROGRAMS FROM ABSTRACT SPECIFICATIONS BY PARTIAL EVALUATION
inferred← citeshttps://doi.org/10.1145/1118890.1118892openalex-snapshot
When and how to develop domain-specific languages
inferred← citeshttps://doi.org/10.1145/1134285.1134436openalex-snapshot
Easy language extension with meta-aspectJ
inferred← citeshttps://doi.org/10.1145/1173706.1173709openalex-snapshot
A multi-stage language with intensional analysis
inferred← citeshttps://doi.org/10.1145/1449913.1449935openalex-snapshot
Polymorphic embedding of dsls
inferred← citeshttps://doi.org/10.1145/1599410.1599416openalex-snapshot
A dynamically customizable process-centered evaluation model
inferred← citeshttps://doi.org/10.1145/1735935.1735954openalex-snapshot
Why Smalltalk wins the host languages shootout
inferred← citeshttps://doi.org/10.1145/1863482.1863488openalex-snapshot
Lessons from implementing the biCGStab method with SkeTo library
inferred← citeshttps://doi.org/10.1145/1929501.1929510openalex-snapshot
A generative geometric kernel
inferred← citeshttps://doi.org/10.1145/2491845.2491872openalex-snapshot
Self model-driven engineering through metaprograms
inferred← citeshttps://doi.org/10.1145/2991041.2991042openalex-snapshot
Optimizing Parser Combinators
inferred← citeshttps://doi.org/10.1145/2998392.2998399openalex-snapshot
Reflections on LMS: exploring front-end alternatives
inferred← citeshttps://doi.org/10.1145/3009837.3009867openalex-snapshot
LMS-Verify: abstraction without regret for verified systems programming
inferred← citeshttps://doi.org/10.1145/3018882.3018891openalex-snapshot
Functional parallels of sequential imperatives (short paper)
inferred← citeshttps://doi.org/10.1145/3077286.3077325openalex-snapshot
Mapping SPL Feature Models to a Relational Database
inferred← citeshttps://doi.org/10.1145/3093333.3009867openalex-snapshot
LMS-Verify: abstraction without regret for verified systems programming
inferred← citeshttps://doi.org/10.1145/3183653openalex-snapshot
Building Efficient Query Engines in a High-Level Language
inferred← citeshttps://doi.org/10.1145/3236801openalex-snapshot
Reasonably programmable literal notation
inferred← citeshttps://doi.org/10.1145/3408974openalex-snapshot
Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
inferred← citeshttps://doi.org/10.1145/3461002.3473947openalex-snapshot
Product-lining the elinvar wealthtech microservice platform
inferred← citeshttps://doi.org/10.1145/3473579openalex-snapshot
Deriving efficient program transformations from rewrite rules
inferred← citeshttps://doi.org/10.18002/10612/5444openalex-snapshot
Meta-algoritmos de ordenación = Sorting meta-algorithms
inferred← citeshttps://doi.org/10.2298/ns20080402suvajdzinopenalex-snapshot
Parametrizovani univerzalni editor programskog teksta
inferred← citeshttps://doi.org/10.2316/p.2011.758-046openalex-snapshot
Engineering domain-specific languages and automatic code generation for computational simulations of complex systems
inferred← citeshttps://doi.org/10.2316/p.2013.796-040openalex-snapshot
Fluent Interfaces to a Java-based Internal Domain-Specific Languages for Graph Generation and Analysis
inferred← citeshttps://doi.org/10.24926/2017.188954openalex-snapshot
Reliably composable language extensions
inferred← citeshttps://doi.org/10.4018/jmcmc.2012070101openalex-snapshot
Progressive Data Synchronization Model for Mobile Devices
inferred← citeshttps://doi.org/10.4204/eptcs.129.14openalex-snapshot
Denotational Semantics of A User-Oriented, Domain-Specific Language
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0509027openalex-snapshot
Haskell's overlooked object system
inferred← citeshttps://doi.org/10.5381/jot.2010.9.6.a2openalex-snapshot
Formal Model and DSL for Separation of Concerns based on Views.
inferred← citeshttps://doi.org/10.5381/jot.2012.11.1.a5openalex-snapshot
Modeling Domain-Specific Profilers.
inferred← citeshttps://doi.org/10.5555/2394758.2394785openalex-snapshot
Morphing: safely shaping a class in the image of others
inferred← citeshttps://doi.org/10.7146/brics.v11i12.21837openalex-snapshot
Lambda-Lifting in Quadratic Time
inferred← citeshttps://doi.org/10.7892/boris.4961openalex-snapshot
Embedding Languages Without Breaking Tools
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.