scientific article; zbMATH DE number 2230607

MaRDI QIDQ5708741zbMATH OpenFDO

Authors Nouhad J. Rizk

Publication date 21 November 2005

zbMATH Keywords

bulk synchronous lambdameta language like functions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 723228
• scientific article; zbMATH DE number 4135922
• Denotational semantics of a parallel object-oriented language
• Sémantique du parallélisme et du choix du langage Electre
• scientific article; zbMATH DE number 1101590
• scientific article; zbMATH DE number 1183245
• Parallélisation sémantique
• Semantics for data parallel computation
• Publication:4204151
• Semantics of a declarative language

Cited in

(8)

• scientific article; zbMATH DE number 1101590 (Why is no real title available?)
• scientific article; zbMATH DE number 2009834 (Why is no real title available?)
• Semantic Correctness for a Parallel Object-Oriented Language
• scientific article; zbMATH DE number 2102059 (Why is no real title available?)
• scientific article; zbMATH DE number 782020 (Why is no real title available?)
• scientific article; zbMATH DE number 846969 (Why is no real title available?)
• scientific article; zbMATH DE number 1760048 (Why is no real title available?)
• scientific article; zbMATH DE number 1096856 (Why is no real title available?)

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 Q5708741)