|
П |
Denali: A Goal-Directed Superoptimizer |
2001 |
Joshi R., Nelson G., Randall K. |
|
|
Systems Research Center |
|
17.07.2002 |
|
П |
Extended Static Checking |
1998 |
Detlefs D. L., Leino K.R. M., Nelson G., Saxe J. B. |
|
|
Digital |
|
17.02.1999 |
|
П |
Wrestling with Rep Exposure |
1998 |
Detlefs D. L., Leino K.R. M., Nelson G. |
Lecture Notes in Computer Science |
|
Digital |
|
10.10.1998 |
|
П |
Trestle Tutorial |
1992 |
Manasse M. S., Nelson G. |
|
|
Digital |
|
27.03.1998 |
|
П |
The Juno-2 Constraint-Based Drawing Editor |
1994 |
Heydon A., Nelson G. |
|
|
Digital |
AT&T Technical J. |
17.05.1995 |
|
СТ |
Adding Fair Choice to Dijkstra s Calculus |
1994 |
Broy M., Nelson G. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
П |
Some Useful Modula-3 Interfaces |
1993 |
Horning J., Kalsow B., Mcjones P., Nelson G. |
|
|
Digital |
Lecture Notes in Computer Science |
14.05.1994 |
|
П |
Distributed Garbage Collection for Network Objects |
1993 |
Birrell A., Evers D., Nelson G., Owicki S., Wobber E. |
|
|
Digital |
|
14.05.1994 |
|
СТ |
Network Objects |
1993 |
Birrel A., Nelson G., Owicki S., Wobber E. |
|
|
|
Operating Systems Review |
21.02.1994 |
|
П |
Trestle Reference Manual |
1992 |
Manasse M. S., Nelson G. |
|
|
Digital |
|
28.10.1992 |
|
СТ |
Modula-3 Language Definition |
1992 |
Cardelli L., Donahue J., Glassman L., Jordan M., Kalsow B., Nelson G. |
|
|
|
SIGPLAN Notices |
06.09.1992 |
|
П |
Modula-3 Report (revised) |
1989 |
Cardelli L., Donahue J., Glassman L., Jordan M., Kalsow B., Nelson G. |
|
|
Digital |
|
18.05.1991 |
