Semantics of multiway dataflow constraint systems

DOI10.1016/j.jlamp.2020.100634OpenAlexW3109061266MaRDI QIDQ2043794

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)

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

zbMATH Keywords

institutionsreusemodule systemgraphical user interfacesdataflow constraint systemsverification and testing

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• LARCH
• CASL
• Hets
• Skyblue
• Amulet

Cites Work

• Foundations of algebraic specification and formal software development.
• Institution morphisms
• Specifications in an arbitrary institution
• The algebraic specification of abstract data types
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Specifying with syntactic theory functors
• Testing Polymorphic Properties
• Programming Denotational Semantics II
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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