Refining multiset transformers

DOI10.1016/S0304-3975(97)00151-5MaRDI QIDQ1127515zbMATH OpenOpenAlexFDO

Authors Chris Hankin, Daniel Le Métayer, David Sands

Publication date 13 August 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00151-5

zbMATH Keywords

gammamultiset rewritingprogram transformation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Structured gamma
• The gamma model and its discipline of programming
• scientific article; zbMATH DE number 4055010
• Generalised multisets for chemical programming
• scientific article; zbMATH DE number 1472820

Cites work

• Full abstraction for a shared-variable parallel language
• Generative communication in Linda
• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• scientific article; zbMATH DE number 4052998 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3624763 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Structured gamma
• The gamma model and its discipline of programming

Cited in

(5)

• Structured gamma
• Shared memory implementation of the gamma-operation
• scientific article; zbMATH DE number 4055010 (Why is no real title available?)
• scientific article; zbMATH DE number 1223019 (Why is no real title available?)
• Generalised multisets for chemical programming

Describes a project that uses

Uses Software

• Linda
• UNITY

This page was built for publication: Refining multiset transformers

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