Semantics of multiway dataflow constraint systems
From MaRDI portal
Publication:2043794
DOI10.1016/J.JLAMP.2020.100634OpenAlexW3109061266MaRDI QIDQ2043794FDOQ2043794
Publication date: 3 August 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100634
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
module systeminstitutionsreusegraphical user interfacesdataflow constraint systemsverification and testing
Cites Work
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Foundations of algebraic specification and formal software development.
- Institution morphisms
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Specifications in an arbitrary institution
- The algebraic specification of abstract data types
- Testing Polymorphic Properties
- Title not available (Why is that?)
- Programming Denotational Semantics II
- Specifying with syntactic theory functors
Cited In (4)
Uses Software
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)
