Guaranteeing safe destructive updates through a type system with uniqueness information for graphs

DOI10.1007/3-540-57787-4_23zbMATH Open1494.68124OpenAlexW2155397441MaRDI QIDQ5096293FDOQ5096293

Authors: Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer 

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/107655

Recommendations

• scientific article; zbMATH DE number 969070
• scientific article; zbMATH DE number 2080217
• A general framework for types in graph rewriting
• scientific article; zbMATH DE number 1231477
• Uniqueness Typing Redefined

Mathematics Subject Classification ID

Searching and sorting (68P10) Grammars and rewriting systems (68Q42)

Cites Work

• A theory of type polymorphism in programming

Cited In (2)

• Uniqueness Typing Redefined
• Linearity and uniqueness: an entente cordiale

This page was built for publication: Guaranteeing safe destructive updates through a type system with uniqueness information for graphs

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