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

An overview of the Summer programming language : (preprint) Tech Report

P. Klint (Paul)

January 1979
Exeption handling with multi-exit statements : (preprint) Tech Report

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

January 1979
A characterisation of computable data types by means of a finite, equational specification method : (preprint) Tech Report

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

January 1979
How inefficient are stack-oriented abstract machines? : (preprint) Tech Report

P. Klint (Paul)

January 1979
The revised MC Algol 68 test set Tech Report

D. Grune (Dick)

January 1979
Computing the perimeter of a set of rectangles : (preprint) Tech Report

P.M.B. Vitányi (Paul) and D. Wood

January 1979
Abstracto 84: the next generation : (preprint) Tech Report

L.G.L.T. Meertens (Lambert)

January 1979
Correctness theories and program equivalence : (preprint) Tech Report

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

January 1979

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