Skip to main navigation
Skip to search
Skip to main content
Royal Holloway Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Activities
Prizes
Datasets
Search by expertise, name or affiliation
PLanCompS: Programming Language Components and Specifications
Johnstone, Adrian
(PI)
Scott, Elizabeth
(CoI)
Reddington, Joseph
(CoI)
Walsh, Robert
(CoI)
Department of Computer Science
Centre for Software Language Engineering
Project
:
Research
Overview
Research output
(7)
Research output
Research output per year
2011
2013
2019
3
Conference contribution
3
Article
1
Doctoral Thesis
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Doctoral Thesis
Search results
2019
Executable Formal Specification of Programming Languages with Reusable Components
van Binsbergen, L. T.
,
2019
, (Unpublished)
274 p.
Research output
:
Thesis
›
Doctoral Thesis
File
128
Downloads (Pure)