Lackwit: a program understanding tool based on type inference
ICSE '97 Proceedings of the 19th international conference on Software engineering
AnnoDomini: from type theory to Year 2000 conversion tool
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Aggregate structure identification and its application to program analysis
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Identifying objects using cluster and concept analysis
Proceedings of the 21st international conference on Software engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Role-based exploration of object-oriented programs
Proceedings of the 24th International Conference on Software Engineering
Function Recovery Based on Program Slicing
ICSM '93 Proceedings of the Conference on Software Maintenance
Exploring Legacy Systems Using Types
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Understanding COBOL Systems using Inferred Types
IWPC '99 Proceedings of the 7th International Workshop on Program Comprehension
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
Semantics-based reverse engineering of object-oriented data models
Proceedings of the 28th international conference on Software engineering
Documenting software systems using types
Science of Computer Programming - Software analysis, evolution and re-engineering
Dependent types for program understanding
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Performance pitfalls in large-scale java applications translated from COBOL
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Ways to increase the efficiency of information systems
AIKED'11 Proceedings of the 10th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
| Hi-index | 0.00 |