Internally typed second-order term graphs

MaRDI QIDQ4232785zbMATH OpenFDO

Authors Wolfram Kahl

Publication date 15 March 1999

zbMATH Keywords

term graph structuretyping

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Dependently-typed formalisation of typed term graphs
• scientific article; zbMATH DE number 969070
• A flexible categorial formalisation of term graphs as directed hypergraphs
• Graph matching in operational semantics and typing

Cited in

(2)

• Towards ``mouldable code via nested code graph transformation
• Dependently-typed formalisation of typed term graphs

This page was built for publication: Internally typed second-order term graphs

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