Executable Formal Specification of Programming Languages with Reusable Components

L. Thomas van Binsbergen

Department of Computer Science

Research output: Thesis › Doctoral Thesis

129 Downloads (Pure)

1 Finished

1 results

PLanCompS: PLanCompS: Programming Language Components and Specifications
Johnstone, A., Scott, E., Reddington, J. & Walsh, R.
Eng & Phys Sci Res Council EPSRC
1/06/11 → 31/05/15
Project: Research