No Cover Image

Journal article 57 views 5 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

  • 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

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