Centrum Wiskunde & Informatica

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
Some thoughts on a tuple oriented programming system Tech Report

P. Verhelst

January 1981
An operator-priority grammar for Algol 68+ Tech Report

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

January 1981

Previous

Next