Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The expressiveness of a family of finite set languages | 66 | 57.95 | 1996 |
| Inheritance of theory in the ADABTPL language | 0 | 0.34 | 1992 |
| Automatic verification of database transaction safety | 111 | 126.27 | 1989 |
| The ADABTPL type system | 13 | 17.21 | 1989 |
| A framework for comparing type systems for database programming languages | 20 | 18.55 | 1989 |
| Construction and calculus of types of databases systems | 8 | 11.20 | 1987 |
| Report on CS2 from ACM CS2 committee (panel session) | 0 | 0.34 | 1985 |
| Report on CS2 from ACM CS2 committee (panel session) | 0 | 0.34 | 1985 |