Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Search by expertise, name or affiliation
Modularity and implementation of mathematical operational semantics
M. Jaskelioff,
N. Ghani
, G. Hutton
Computer And Information Sciences
SICSA
Mathematically Structured Programming
Research output
:
Contribution to journal
›
Article
›
peer-review
16
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Modularity and implementation of mathematical operational semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Operational Semantics
100%
Modularity
100%
Programs
16%
Functional Programming
16%
Syntactics
16%
Programming Language
16%