scientific article; zbMATH DE number 3890700

MaRDI QIDQ3347258zbMATH OpenFDO

Authors Satoshi Ono, Naohisa Takahashi, Makoto Amamiya

Publication date 1985

zbMATH Keywords

data flow analysisfunctional programming languagesDependency Property Setreduction normalization

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3963187
• Dataflow computing and Eager and Lazy evaluations
• The expressive power of indeterminate dataflow primitives
• Publication:4889401
• scientific article; zbMATH DE number 3872641
• A fixpoint semantics for nondeterministic data flow
• An extensional fixed-point semantics for nondeterministic data flow
• scientific article; zbMATH DE number 817192
• Intensional and extensional semantics of dataflow programs
• Non-interleaving Semantics with Causality for Nondeterministic Dataflow

Cited in

(3)

• Non-strict execution in parallel and distributed computing
• scientific article; zbMATH DE number 3963187 (Why is no real title available?)
• The expressive power of indeterminate dataflow primitives

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