Centrum Wiskunde & Informatica

A note on non-generators of full AFL's : (preprint) Tech Report

P.R.J. Asveld and J. Engelfriet

January 1981
Algebraic specifications for parametrized data types with minimal parameter and target algebras : (preprint) Tech Report

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

January 1981
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

Previous

Next