Graphical and incremental type inference. A graph transformation approach

DOI10.1007/S10990-014-9104-8zbMATH Open1360.68320OpenAlexW2765634457MaRDI QIDQ526459FDOQ526459

Authors: Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo 

Publication date: 15 May 2017

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/87151

Recommendations

• Simple type inference for term graph rewriting systems
• scientific article; zbMATH DE number 2044493
• scientific article; zbMATH DE number 1678377
• scientific article; zbMATH DE number 969070
• A general framework for types in graph rewriting

zbMATH Keywords

graphical languageprocess networkstype inferencetype visualization

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Cites Work

• Title not available (Why is that?)
• Handbook of Graph Grammars and Computing by Graph Transformation
• A general framework for types in graph rewriting

Cited In (5)

• Title not available (Why is that?)
• From ML to ML ^F
• Transformation of typed composite graphs with inheritance and containment structures
• A general framework for types in graph rewriting
• Simple type inference for term graph rewriting systems

Uses Software

• Haskell
• AGG
• Miranda
• Lua

This page was built for publication: Graphical and incremental type inference. A graph transformation approach

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