Relational Methods in Computer Science

DOI10.1007/11734673MaRDI QIDQ5899314zbMATH OpenOpenAlexFDO

Authors Wolfram Kahl, Christopher K. Anand, Jacques Carette

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11734673

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Semantics for data parallel computation
• Verification, Model Checking, and Abstract Interpretation
• Abstract State Machines 2004. Advances in Theory and Practice
• scientific article; zbMATH DE number 4016162
• A tree-based approach to data flow proofs

Cited in

(5)

• Towards ``mouldable code via nested code graph transformation
• scientific article; zbMATH DE number 2079640 (Why is no real title available?)
• scientific article; zbMATH DE number 883955 (Why is no real title available?)
• A simple parallel implementation of interaction nets in Haskell
• Semantics-preserving DPO-based term graph rewriting

This page was built for publication: Relational Methods in Computer Science

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