A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Avon is a dataflow graph language which insists single-assignment sideeffect free paradigm. ... A powerful facility in Avon is line filters where a predicate can be associated with input as well as output ports. ... Using Avon as Architecture Description Language In this paper, we demonstrate, as an example, how Avon can be used to describe a pipelined machine with speculative execution. ...doi:10.1007/1-4020-8149-9_29 dblp:conf/ifip10-3/Deb04 fatcat:xklp7msgpjdalkp373ozxxtsua
We propose a formalization for architectures based on category theory, and an implementation of our pattern to analyze Twitter data. ... are gathered into a same architecture, and this even before developing and putting in production the architecture. ... Les Architecture Description Languages (ADL) [Cle96] ont une place importante dans la formalisation d'architecture. ...doi:10.21494/iste.op.2021.0606 fatcat:qkeknxbnybgh3pmo3fd7dmxnru