Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951387 | Journal of Logical and Algebraic Methods in Programming | 2017 | 26 Pages |
Abstract
Based on this foundation, we implemented BIP as an embedded domain specific language (DSL) in Haskell and Scala. The DSL embedding allows programmers to benefit from the full expressive power of high-level languages. The clear separation of behaviour and coordination inherited from BIP leads to systems that are arguably simpler to maintain and reason about, compared to other approaches.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Romain Edelmann, Simon Bliudze, Joseph Sifakis,