Blar i Department of Informatics på forfatter "Roggenbach, Marcus"
-
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 ...