Towards ``mouldable code via nested code graph transformation
From MaRDI portal
Publication:406453
DOI10.1016/j.jlap.2014.02.010zbMath1371.68051OpenAlexW1991997530MaRDI QIDQ406453
Publication date: 8 September 2014
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2014.02.010
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- The Munich project CIP. Volume I: The wide spectrum language CIP-L
- The Munich project CIP. Volume II: The program transformation system CIP- S
- Methods of programming. Selected papers on the CIP-project
- An algebraic presentation of term graphs, via gs-monoidal categories
- A survey of strategies in rule-based program transformation systems
- Fundamentals of algebraic graph transformation
- Towards Certifiable Implementation of Graph Transformation via Relation Categories
- Dependently-Typed Formalisation of Relation-Algebraic Abstractions
- Formalising Overlap Algebras in Matita
- Implementing term rewriting by jungle evaluation
- Formal program construction by transformations-computer-aided, intuition-guided programming
- A Transformation System for Developing Recursive Programs
- Compositional semantics for open Petri nets based on deterministic processes
- An Optimized Cell BE Special Function Library Generated by Coconut
- Relational Methods in Computer Science
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
This page was built for publication: Towards ``mouldable code via nested code graph transformation
