4722 search results - page 669 / 945 » Representation-independent program analysis |
162
click to vote
GPCE
2007
Springer
16 years 21 days ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
155
click to vote
OOPSLA
2007
Springer
16 years 20 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...
144
click to vote
TGC
2007
Springer
16 years 19 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...
174
click to vote
APLAS
2006
ACM
16 years 15 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 14 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...