Semantics of multiway dataflow constraint systems

DOI10.1016/J.JLAMP.2020.100634MaRDI QIDQ2043794zbMATH OpenOpenAlexFDO

Authors Magne Haveraaen, Jaakko Järvi

Publication date 3 August 2021

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2020.100634

zbMATH Keywords

module systeminstitutionsreusegraphical user interfacesdataflow constraint systemsverification and testing

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
• Intensional and extensional semantics of dataflow programs
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• scientific article; zbMATH DE number 1305005
• A formal semantics of data flow diagrams
• Compositional relational semantics for indeterminate dataflow networks
• scientific article; zbMATH DE number 1113818
• Dataflow semantics for Petri nets
• A compositional dataflow semantics for Petri nets
• Publication:4723281

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• scientific article; zbMATH DE number 588035 (Why is no real title available?)
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Foundations of algebraic specification and formal software development.
• Institution morphisms
• Institutions: abstract model theory for specification and programming
• Programming Denotational Semantics II
• Specifications in an arbitrary institution
• Specifying with syntactic theory functors
• Testing polymorphic properties
• The algebraic specification of abstract data types

Cited in

(4)

• scientific article; zbMATH DE number 5666832 (Why is no real title available?)
• Semantic specification and verification of data flow diagrams
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• scientific article; zbMATH DE number 4084982 (Why is no real title available?)

Describes a project that uses

Uses Software

• Amulet
• Skyblue
• Hets
• CASL
• LARCH

This page was built for publication: Semantics of multiway dataflow constraint systems

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