161 search results - page 18 / 33 » Ontology Model-Based Static Analysis on Java Programs |
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
ASE
2007
13 years 8 months ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
HIPEAC
2011
Springer
12 years 8 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...