Journal article 612 views 124 downloads
Specifying with syntactic theory functors
Magne Haveraaen,
Markus Roggenbach 
Journal of Logical and Algebraic Methods in Programming, Volume: 113, Start page: 100543
Swansea University Author:
Markus Roggenbach
-
PDF | Version of Record
©2020 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license.
Download (556.08KB)
DOI (Published version): 10.1016/j.jlamp.2020.100543
Abstract
Specifying with syntactic theory functors
| Published in: | Journal of Logical and Algebraic Methods in Programming |
|---|---|
| ISSN: | 2352-2208 |
| Published: |
Elsevier BV
2020
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa53791 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Keywords: |
Specification languages; Reuse mechanisms; Institution-independence |
|---|---|
| Start Page: |
100543 |