scientific article; zbMATH DE number 3890700

zbMATH Open0558.68008MaRDI QIDQ3347258FDOQ3347258

Authors: Satoshi Ono, Naohisa Takahashi, Makoto Amamiya 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Non-strict execution in parallel and distributed computing
• Title not available (Why is that?)
• 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)