An operational semantics for paragon: A design notation for parallel architectures

DOI10.1007/BF03037642zbMATH Open0722.68075MaRDI QIDQ756433FDOQ756433

Authors David Bolton, Chris Hankin, Paul H. J. Kelly

Publication date 1991

Published in New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

message passinggraph rewritingparallel combinator reductionparallel object-oriented language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 43878
• scientific article; zbMATH DE number 3874588
• Semantics for data parallel computation
• Semi-explicit parallel programming in a purely functional style: GpH
• scientific article; zbMATH DE number 898454

Cites work

• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• scientific article; zbMATH DE number 4060679 (Why is no real title available?)
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• A calculus of communicating systems
• A safe approach to parallel combinator reduction
• Denotational semantics of a parallel object-oriented language
• LEAN: An intermediate language based on graph rewriting

Cited in

(4)

• scientific article; zbMATH DE number 52915 (Why is no real title available?)
• Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types
• Semi-explicit parallel programming in a purely functional style: GpH
• scientific article; zbMATH DE number 1830916 (Why is no real title available?)

Describes a project that uses

Uses Software

• DACTL
• Miranda

This page was built for publication: An operational semantics for paragon: A design notation for parallel architectures

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