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

The completeness of the algebraic specification methods for data types : (preprint) Tech Report

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

January 1980
On the refinement of specifications and Hoare's logic : (preprint) Tech Report

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

January 1980
Correctness of explicitly specified procedures : (preprint) Tech Report

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

January 1980
On the notion of correct refinement of programs : (prepint) Tech Report

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

January 1980
On the operational structure of algebraic programming systems : (preprint) Tech Report

P.R.J. Asveld and J.V. Tucker (John)

January 1980
Operational and denotational semantics describing the matching process in Snobol4 : (preprint) Tech Report

A. de Bruin (Arie)

January 1980
Proving total correctness of nondeterministic programs in infinitary logic : (preprint) Tech Report

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

January 1980
Expressiveness and the completeness of Hoare's logic : (preprint) Tech Report

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

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