Towards Certifiable Implementation of Graph Transformation via Relation Categories

DOI10.1007/978-3-642-33314-9_6zbMath1364.68309OpenAlexW119139902MaRDI QIDQ2915137

Wolfram Kahl

Publication date: 21 September 2012

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_6

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (1)

Towards ``mouldable code via nested code graph transformation

Uses Software

• Agda
• AoPA

Cites Work

• Unnamed Item
• Unnamed Item
• Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011. Proceedings
• Collagories: relation-algebraic reasoning for gluing constructions
• Pushout-complements and basic concepts of grammars in toposes
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
• A completeness theorem for Kleene algebras and the algebra of regular events
• Fundamentals of algebraic graph transformation
• Deciding Kleene Algebras in Coq
• A Functional, Successor List Based Version of Warshall’s Algorithm with Applications
• Dependently-Typed Formalisation of Relation-Algebraic Abstractions
• Algebra of programming in Agda: Dependent types for relational program derivation

This page was built for publication: Towards Certifiable Implementation of Graph Transformation via Relation Categories