Towards ``mouldable code via nested code graph transformation

DOI10.1016/J.JLAP.2014.02.010MaRDI QIDQ406453zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Hierarchical graph transformation
• scientific article; zbMATH DE number 1231497
• scientific article; zbMATH DE number 1953883
• scientific article; zbMATH DE number 2016075
• A survey of rewriting strategies in program transformation systems

Cites work

• A survey of strategies in rule-based program transformation systems
• A Transformation System for Developing Recursive Programs
• An algebraic presentation of term graphs, via gs-monoidal categories
• An Optimized Cell BE Special Function Library Generated by Coconut
• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
• Compositional semantics for open Petri nets based on deterministic processes
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Declarative term graph attribution for program generation
• Dependently-typed formalisation of relation-algebraic abstractions
• Dependently-typed formalisation of typed term graphs
• Formal program construction by transformations-computer-aided, intuition-guided programming
• Formalising overlap algebras in Matita
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 1262795 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1956470 (Why is no real title available?)
• scientific article; zbMATH DE number 1759367 (Why is no real title available?)
• scientific article; zbMATH DE number 1390250 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• Implementing term rewriting by jungle evaluation
• Methods of programming. Selected papers on the CIP-project
• Relational Methods in Computer Science
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
• Synthesizing and verifying multicore parallelism in categories of nested code graphs
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• The Munich project CIP. Volume II: The program transformation system CIP- S
• Towards certifiable implementation of graph transformation via relation categories

Cited in

(5)

• scientific article; zbMATH DE number 2016075 (Why is no real title available?)
• scientific article; zbMATH DE number 2080130 (Why is no real title available?)
• scientific article; zbMATH DE number 2097775 (Why is no real title available?)
• scientific article; zbMATH DE number 2102053 (Why is no real title available?)
• Semantics-preserving DPO-based term graph rewriting

Describes a project that uses

Uses Software

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

This page was built for publication: Towards ``mouldable code via nested code graph transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406453)