Journal article 689 views 138 downloads
Specifying with syntactic theory functors
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 |