Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Designing a machine independent storage management system : (preprint) Tech Report

H.B.M. Jonkers

January 1980
Real-time Turing machines under varying specifications, 2 : (preprint) Tech Report

P.M.B. Vitányi (Paul)

January 1980
Reconciling data flow machines and conventional languages : (preprint) Tech Report

A.H. Veen (Arthur)

January 1980
Floyd's principle, correctness theories and program equivalence : (preprint) Tech Report

J.A. Bergstra (Jan), J. Tiuryn and J.V. Tucker (John)

January 1980
Checking whether programs are correct or incorrect Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
Algebraically specified programming systems and Hoare's logic : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1980
Initial and final algebra semantics for data type specifications: two characterisation theorems : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1980
Time and space complexity of inside-out macro languages : (preprint) Tech Report

P.R.J. Asveld

January 1980

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close