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

From MaRDI portal

Revision as of 12:47, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5096293

Jump to:navigation, search

DOI10.1007/3-540-57787-4_23zbMath1494.68124OpenAlexW2155397441MaRDI QIDQ5096293

R. Plasmeijer, Marko van Eekelen, Sjaak Smetsers, Erik Barendsen

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

Mathematics Subject Classification ID

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

Related Items (1)

Linearity and uniqueness: an entente cordiale

Cites Work

A theory of type polymorphism in programming

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5096293&oldid=19599059"