scientific article; zbMATH DE number 4016177

MaRDI QIDQ3028330zbMATH OpenFDO

Authors Paul Hudak, Steve Anderson

Publication date 1987

zbMATH Keywords

call-by- needcall-by-namecall-by-speculationoperational semanticspartially ordered multiset

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Towards a pomset semantics for a shared-variable parallel language
• Parsing Partially Ordered Multisets
• scientific article; zbMATH DE number 1638641
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• An operational semantics for parallel lazy evaluation

Cited in

(7)

• Interdefinability of parallel operations in PCF
• An operational semantics for parallel lazy evaluation
• Towards a pomset semantics for a shared-variable parallel language
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• scientific article; zbMATH DE number 4050946 (Why is no real title available?)
• The semantics of future and an application
• Parsing Partially Ordered Multisets

This page was built for publication:

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