Gr/R72440/01 Safe Pointers..Trans

Plump, Detlef (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/01/02 → 31/05/03

Funding

EPSRC: £51,705.00

1 Article

Specifying Pointer Structures by Graph Reduction
Bakewell, A., Plump, D. & Runciman, C., 2003, In: Technical Report. YCS-2003-367, 48 p.
Research output: Contribution to journal › Article