4719 search results - page 669 / 944 » Newtonian program analysis |
148
click to vote
TGC
2007
Springer
16 years 24 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...
175
click to vote
APLAS
2006
ACM
16 years 20 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...
217
click to vote
PPOPP
2006
ACM
16 years 19 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...
158
click to vote
ICSM
2005
IEEE
16 years 8 days 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...
162
click to vote
OOPSLA
2005
Springer
16 years 5 days ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...