Browsing Department of Informatics by Author "Roggenbach, Marcus"
Now showing items 1-1 of 1
-
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 ...