| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1990 | — | conf |
ISPW
|
| 1989 | — | conf |
ISPW
|
| 1988 | — | conf |
ISPW
|
| 1988 | — | conf |
OODBS
|
| 1984 | J | jnl |
IEEE Trans. Software Eng.
|
| 1984 | — | conf |
ISPW
|
| 1983 | J | jnl |
Computer
|
| 1981 | J | jnl |
IEEE Trans. Software Eng.
|
| 1981 | A* | conf |
ICSE
|
| 1979 | A* | conf |
ICSE
|
| 1979 | J | jnl |
IEEE Trans. Software Eng.
|
| 1978 | J | jnl |
ACM SIGPLAN Notices
|
| 1976 | J | jnl |
Adv. Comput.
|
| 1976 | — | conf |
Design and Implementation of Programming Languages
|
| 1976 | — | conf |
SYMSACC
|
| 1974 | — | conf |
Symposium on Programming
|
| 1972 | — | conf |
AFIPS Spring Joint Computing Conference
|
| 1972 | — | conf |
Proving Assertions About Programs
|
| 1971 | — | conf |
International Symposium on Extensible Languages
|
| 1971 | — | conf |
IFIP Congress (1)
|
| 1970 | — | conf |
Symposium on Compiler Optimization
|
| 1970 | J | jnl |
ACM SIGPLAN Notices
|
| 1969 | J | jnl |
ACM SIGPLAN Notices
|
| 1968 | — | conf |
AFIPS Fall Joint Computing Conference (2)
|
| 1966 | — | conf |
AFIPS Fall Joint Computing Conference
|
| 1964 | J | jnl |
Commun. ACM
|
| 1964 | — | conf |
AFIPS Spring Joint Computing Conference
|
| 1963 | J | jnl |
Commun. ACM
|
| 1962 | — | conf |
ACM National Conference
|
| 1962 | J | jnl |
Commun. ACM
|
| 1961 | J | jnl |
Commun. ACM
|