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

On top-down parsing of Algol 68+ Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
Languageless programming : (preprint) Tech Report

A. van Wijngaarden (Adriaan)

January 1981
Making Algol 68+ texts conform to an operator-priority grammar Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
A formal model for data flow programs with token coloring : (preprint) Tech Report

A.H. Veen (Arthur)

January 1981
Another proof for the completeness of a rule for the fair termination of guarded commands and another rule for their just termination. (preliminary version) : (preprint) Tech Report

D. Lehmann

January 1981
The B-representation of piecewise polynomial parametric curves and local adaption Tech Report

A.B. Tol

January 1981
Proving program inclusion using Hoare's logic Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1981
A formalized proof system for total correctness of while programs : (preprint) Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1981

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