Browsing Department of Informatics by Journals "Journal of Logical and Algebraic Methods in Programming"

Now showing items 1-3 of 3

    • Composition of multilevel domain-specific modelling languages 

      Rodríguez, Alejandro; Macias Gomez de Villar, Fernando; Durán, Francisco; Rutle, Adrian; Wolter, Uwe Egbert (Journal article; Peer reviewed, 2023)
      Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM ...

    • Semantics of multiway dataflow constraint systems 

      Haveraaen, Magne; Järvi, Jaakko (Journal article; Peer reviewed, 2021)
      Multiway dataflow constraint systems (MDCS) is a programming model where statements are not executed in a predetermined order. Rather, individual methods are selected from specific method sets and then executed to achieve ...

    • Specifying with syntactic theory functors 

      Haveraaen, Magne; Roggenbach, Marcus (Journal article; Peer reviewed, 2020)
      We propose a framework, syntactic theory functors (STFs), for creating syntactic structuring mechanisms for specification languages. Good support for common reuse patterns is important for systematically developing ...