Refactoring using type constraints
- Frank Tip
- Robert M. Fuhrer
- et al.
- 2011
- ACM TOPLAS
Publications
Date
Featured collections
Popular topics
51 results for Frank Tip
An operational semantics and type safety proof for multiple inheritance in C++
- Daniel Wasserrab
- Tobias Nipkow
- et al.
- 2006
- ACM SIGPLAN Notices
Associating synchronization constraints with data in an object-oriented language
- Mandana Vaziri
- Frank Tip
- et al.
- 2006
- ACM SIGPLAN Notices
Refactoring support for class library migration
- Ittai Balaban
- Frank Tip
- et al.
- 2005
- ACM SIGPLAN Notices
Extracting library-based Java applications
- Frank Tip
- Peter F. Sweeney
- et al.
- 2003
- Communications of the ACM
Practical extraction techniques for Java
- Frank Tip
- Peter F. Sweeney
- et al.
- 2002
- ACM TOPLAS
A Slicing-Based Approach for Locating Type Errors
- F. Tip
- T.B. Dinesh
- 2001
- ACM TOSEM
Scalable propagation-based call graph construction algorithms
- F. Tip
- J. Palsberg
- 2000
- Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
Class hierarchy specialization
- Frank Tip
- Peter F. Sweeney
- 2000
- Acta Informatica
Understanding class hierarchies using concept analysis
- Gregor Snelting
- Frank Tip
- 2000
- ACM TOPLAS