An algorithm for dynamic subset and intersection testing
- D.M. Yellin
- 1994
- Theoretical Computer Science
Paper
Publications
22 results for Daniel M. Yellin
Interfaces, protocols, and the semi-automatic construction of software adaptors
- Daniel M. Yellin
- Robert E. Strom
- 1994
- ACM SIGPLAN Notices
PaperA Checkable Interface Language for Pointer-Based Structures
- James R. Russell
- Robert E. Strom
- et al.
- 1994
- ACM SIGPLAN Notices
PaperFinding extremal sets in less than quadratic time
- Daniel M. Yellin
- Charanjit S. Jutla
- 1993
- Information Processing Letters
PaperSpeeding up dynamic transitive closure for bounded degree graphs
- Daniel M. Yellin
- 1993
- Acta Informatica
PaperExtending Typestate Checking Using Conditional Liveness Analysis
- Robert E. Strom
- Daniel M. Yellin
- 1993
- IEEE Transactions on Software Engineering
PaperA visual environment for distributed object-oriented multi-applications
- Robert Strom
- Daniel Yellin
- 1992
- OOPSLA 1992
Conference paperAlgorithms for subset testing and finding maximal sets
- Daniel M. Yellin
- 1992
- SODA 1992
Conference paperRepresenting sets with constant time equality testing
- Daniel M Yellin
- 1992
- Journal of Algorithms
PaperINC: A Language for Incremental Computations
- Daniel M. Yellin
- Robert E. Strom
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper