Centrum Wiskunde & Informatica

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