No Cover Image

Journal article 471 views 69 downloads

Specifying with syntactic theory functors

Magne Haveraaen, Markus Roggenbach Orcid Logo

Journal of Logical and Algebraic Methods in Programming, Volume: 113, Start page: 100543

Swansea University Author: Markus Roggenbach Orcid Logo

  • 1-s2.0-S2352220820300286-main.pdf

    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)
Published in: Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2208
Published: Elsevier BV 2020
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Specification languages; Reuse mechanisms; Institution-independence
Start Page: 100543