4725 search results - page 660 / 945 » Dependence-Based Program Analysis |
154
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
140
click to vote
TGC
2007
Springer
16 years 15 days ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
170
click to vote
APLAS
2006
ACM
16 years 11 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
214
click to vote
PPOPP
2006
ACM
16 years 11 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
155
click to vote
ICSM
2005
IEEE
16 years 2 hour ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...