Refining multiset transformers

DOI10.1016/S0304-3975(97)00151-5zbMath0896.68021OpenAlexW1993208798MaRDI QIDQ1127515

David Sands, Daniel Le Métayer, Chris Hankin

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

gammaprogram transformationmultiset rewriting

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Linda
• UNITY

Cites Work

• The gamma model and its discipline of programming
• Structured gamma
• Full abstraction for a shared-variable parallel language
• Generative communication in Linda
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item