|
СТ |
Type Specialisation for Imperative Languages |
1997 |
Dussart D., Hughes J., Thiemann P. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Module-Sensitive Program Specialization |
1997 |
Dussart D., Heldal R., Hughes J. |
|
|
|
Acta Congressus Hiberni |
01.08.1997 |
|
СТ |
Module-Sensitive Program Specialisation |
1997 |
Dussart D., Heldal R., Hughes J. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
|
СТ |
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time |
1995 |
Dussart D., Henglein F., Mossin C. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand |
1994 |
Bondorf A., Dussart D. |
|
|
|
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation |
20.01.1995 |
