Specifying with syntactic theory functors

Journal article 763 views 172 downloads

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

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