2005 |
14 | EE | Peter van der Spek,
Nico Plat,
Cornelis Pronk:
Syntax error repair for a Java-based parser generator.
SIGPLAN Notices 40(4): 47-50 (2005) |
2003 |
13 | EE | Cornelis Pronk,
Martin Schönhacker:
Formal definition of programming language standards.
SIGPLAN Notices 38(8): 20-21 (2003) |
2000 |
12 | EE | Ella E. Roubtsova,
Jan van Katwijk,
W. J. Toetenel,
Cornelis Pronk,
Ruud C. M. de Rooij:
Specification of Real-Time Systems in UML.
Electr. Notes Theor. Comput. Sci. 39(3): (2000) |
1997 |
11 | | Peter G. Kluit,
Cornelis Pronk,
Rob Verver:
Static Type Checking and Method Lookup in Plop!.
JMLC 1997: 155-169 |
10 | | Cornelis Pronk,
Richard J. Sutcliffe:
Scalable Modules in Generic Modula-2.
JMLC 1997: 310-320 |
9 | | Cornelis Pronk,
Martin Schönhacker,
Richard J. Sutcliffe,
A. Wiedemann:
Standardized Extensions to Modula-2.
SIGPLAN Notices 32(11): 34-48 (1997) |
1996 |
8 | EE | B. Noorduin,
Jan van Katwijk,
Cornelis Pronk:
Gnass: a Gnat-based allocation and scheduling system.
RTCSA 1996: 278-285 |
7 | | Cornelis Pronk,
Martin Schönhacker:
ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects.
SIGPLAN Notices 31(8): 74-83 (1996) |
6 | | Martin Schönhacker,
Cornelis Pronk:
ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions.
SIGPLAN Notices 31(8): 84-95 (1996) |
1995 |
5 | | Frans Ververs,
Cornelis Pronk:
On the Interaction between Metrics and Patterns.
OOIS 1995: 303-314 |
1992 |
4 | | Cornelis Pronk:
Stress Testing of Compilers for Modula-2.
Softw., Pract. Exper. 22(10): 885-897 (1992) |
1991 |
3 | | Nico Plat,
Kees Pronk,
Marcel Verhoef:
The Delft VDM-SL Front-End.
VDM Europe (1) 1991: 677-680 |
2 | | Nico Plat,
Jan van Katwijk,
Kees Pronk:
A Case for Structured Analysis/Formal Design.
VDM Europe (1) 1991: 81-105 |
1990 |
1 | | Nico Plat,
Ronald Huijsman,
Jan van Katwijk,
Gertjan van Oosten,
Kees Pronk,
Hans Toetenel:
Type Checking BSI/VDM-SL.
VDM Europe 1990: 399-425 |