scientific article; zbMATH DE number 3901998

MaRDI QIDQ3680241zbMATH OpenFDO

Authors Prakash Panangaden

Publication date 1985

zbMATH Keywords

abstract interpretationdataflow networkfairnesshiatonssemantics of indeterminate operators

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3901997
• The expressive power of indeterminate dataflow primitives
• scientific article; zbMATH DE number 554489
• A fixpoint semantics for nondeterministic data flow
• scientific article; zbMATH DE number 3846839

Cited in

(7)

• The expressive power of indeterminate dataflow primitives
• scientific article; zbMATH DE number 3846839 (Why is no real title available?)
• scientific article; zbMATH DE number 3901997 (Why is no real title available?)
• Abstract interpretation
• scientific article; zbMATH DE number 2087617 (Why is no real title available?)
• A category-theoretic semantics for unbounded indeterminacy
• Refining abstract interpretations

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