Towards ``mouldable code via nested code graph transformation

DOI10.1016/j.jlap.2014.02.010zbMath1371.68051OpenAlexW1991997530MaRDI QIDQ406453

Wolfram Kahl

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unnamed Item

Uses Software

• Frama-C
• Matita
• RATH-Agda
• Spoofax

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