Centrum Wiskunde & Informatica

Compiling language definitions: the ASF+SDF compiler Tech Report

M.G.J. van den Brand (Mark), J. Heering (Jan), P. Klint (Paul) and P.A. Olivier (Pieter)

January 2000
An $ omega $-complete equational specification of interleaving Tech Report

W.J. Fokkink (Wan) and S.P. Luttik (Bas)

January 2000
Development of parsing tools for Casl using generic language technology Tech Report

M.G.J. van den Brand (Mark) and J. Scheerder

January 2000
Application software, domain-specific languages, and language design assistants Tech Report

J. Heering (Jan)

January 2000
Resolution and binary decision diagrams cannot simulate each other polynomially Tech Report

J.F. Groote (Jan Friso) and H. Zantema (Hans)

January 2000
Efficient annotated terms Tech Report

M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and P.A. Olivier (Pieter)

January 2000
Newton's problem of the body of minimal resistance in the class of convex developable functions Tech Report

T. Lachand-Robert and M.A. Peletier (Mark)

January 2000
The minimum of quadratic functionals of the gradient on the set of convex functions Tech Report

T. Lachand-Robert and M.A. Peletier (Mark)

January 2000

Previous

Next