| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1984 | — | conf |
SIGPLAN Symposium on Compiler Construction
|
| 1977 | — | conf |
Language Design for Reliable Software
|
| 1973 | — | conf |
SIGPLAN-SIGOPS Interface Meeting
|
| 1970 | J | jnl |
ACM SIGPLAN Notices
|
| 1970 | J | jnl |
ACM SIGPLAN Notices
|
| 1969 | J | jnl |
ACM SIGPLAN Notices
|
| 1968 | J | jnl |
Commun. ACM
|
| 1967 | J | jnl |
Commun. ACM
|
| 1966 | J | jnl |
J. ACM
|
| 1965 | J | jnl |
Commun. ACM
|
| 1965 | J | jnl |
J. ACM
|
| 1964 | J | jnl |
Commun. ACM
|
| 1964 | J | jnl |
Commun. ACM
|