|
Search the dblp DataBase
Cornelis Pronk:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter G. Kluit, Cornelis Pronk, Rob Verver
Static Type Checking and Method Lookup in Plop!. [Citation Graph (0, 0)][DBLP] JMLC, 1997, pp:155-169 [Conf]
- Cornelis Pronk, Richard J. Sutcliffe
Scalable Modules in Generic Modula-2. [Citation Graph (0, 0)][DBLP] JMLC, 1997, pp:310-320 [Conf]
- Frans Ververs, Cornelis Pronk
On the Interaction between Metrics and Patterns. [Citation Graph (0, 0)][DBLP] OOIS, 1995, pp:303-314 [Conf]
- B. Noorduin, Jan van Katwijk, Cornelis Pronk
Gnass: a Gnat-based allocation and scheduling system. [Citation Graph (0, 0)][DBLP] RTCSA, 1996, pp:278-285 [Conf]
- Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
Specification of Real-Time Systems in UML. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
- Cornelis Pronk, Martin Schönhacker
Formal definition of programming language standards. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 2003, v:38, n:8, pp:20-21 [Journal]
- Cornelis Pronk, Martin Schönhacker
ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1996, v:31, n:8, pp:74-83 [Journal]
- Cornelis Pronk, Martin Schönhacker, Richard J. Sutcliffe, A. Wiedemann
Standardized Extensions to Modula-2. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1997, v:32, n:11, pp:34-48 [Journal]
- Martin Schönhacker, Cornelis Pronk
ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1996, v:31, n:8, pp:84-95 [Journal]
- Peter van der Spek, Nico Plat, Cornelis Pronk
Syntax error repair for a Java-based parser generator. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 2005, v:40, n:4, pp:47-50 [Journal]
- Cornelis Pronk
Stress Testing of Compilers for Modula-2. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1992, v:22, n:10, pp:885-897 [Journal]
RAFFS: Model Checking a Robust Abstract Flash File Store. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|