[图书][B] Dynamically discovering likely program invariants
MD Ernst - 2000 - search.proquest.com
INFORMATION TO USERS Page 1 INFORMATION TO USERS This manuscript has been
reproduced from the microfilm master. UMI films the text directly from the original or copy …
reproduced from the microfilm master. UMI films the text directly from the original or copy …
Combining static and dynamic data in code visualization
D Eng - ACM SIGSOFT Software Engineering Notes, 2002 - dl.acm.org
The task of developing, tuning, and debugging compiler optimizations is a difficult one which
can be facilitated by software visualization. There are many characteristics of the code which …
can be facilitated by software visualization. There are many characteristics of the code which …
Object representatives: a uniform abstraction for pointer information
Pointer analyses enable many subsequent program analyses and transformations by
statically disambiguating references to the heap. However, different client analyses may …
statically disambiguating references to the heap. However, different client analyses may …
Aliasing in object oriented systems
Aliasing in Object Oriented Systems Page 1 Aliasing in Object Oriented Systems James
Noble1, Jan Vitek2, Doug Lea3, and Paulo Sergio Almeida4 1 Microsoft Research Institute …
Noble1, Jan Vitek2, Doug Lea3, and Paulo Sergio Almeida4 1 Microsoft Research Institute …
[图书][B] Optimizing a solver of polymorphism constraints: SEMI
R O'Callahan - 1999 - reports-archive.adm.cs.cmu.edu
As part of the Ajax system for analyzing Java bytecode programs, I have developed an
analysis called SEMI, based on type inference with polymorphic recursion. SEMI has a …
analysis called SEMI, based on type inference with polymorphic recursion. SEMI has a …
[PDF][PDF] A Case Study In Java Software Verification: SecurityManager. checkConnect ()
P Brisset - Formal Techniques for Java Programs 2000, 2000 - researchgate.net
Run-time authorization of network communications between untrusted applications and
remote hosts is one of many security features in the Java platform. We describe the …
remote hosts is one of many security features in the Java platform. We describe the …