|
СТ |
A Categorical Interpretation of Partial Function Logic and Hoare Logic |
1992 |
Knijnenburg P.M. W., Nordemann F. |
|
|
|
Lecture Notes in Computer Science |
06.08.1992 |
|
СТ |
A Feasibility Study in Iterative Compilation |
1999 |
Kisuki T., Knijnenburg P.M. W., O Boyle M.F. P., Bodin F., Wijshoff H.A. G. |
|
|
|
Lecture Notes in Computer Science |
12.06.1999 |
|
П |
An Order-Theoretic Model for the Algebra of Communicating Processes |
1992 |
Knijnenburg P.M. W. |
|
|
Univ. Utrecht |
|
28.09.1999 |
|
СТ |
Cache Models for Interactive Compilation |
2001 |
Knijnenburg P.M. W., Kisuki T., Gallivan K. |
|
|
|
Lecture Notes in Computer Science |
21.08.2001 |
|
СТ |
Iterative Compilation |
2002 |
Knijnenburg P.M. W., Kisuki T., O Boyle M.F. P. |
|
|
|
Lecture Notes in Computer Science |
16.04.2002 |
|
СТ |
OCEANS - Optimising Compilers for Embedded Applications |
1999 |
Barreteau M., Bodin F., Chamski Z., Charles H. -P., Eisenbeis C., Gurd J., Hoogerbrugge J., Hu P., Jalby W., Kizuki T., Knijnenburg P.M. W., Van Der Mark P., Nisbet A., O Boyle M.E. P., Rohou E., Seznec A., Stohr E. A., Treffers M., Wijshoff H.A. G. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Reshaping Access Patterns for Generating Sparse Codes |
1995 |
Bik A.J. C., Knijnenburg P.M. W., Wijshoff H.A. G. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
