3595 search results - page 283 / 719 » Roles of Program Extension |
170
Voted
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
181
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
280
click to vote
ECAL
2007
Springer
16 years 27 days ago
2007
Springer
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
173
click to vote
SCAM
2006
IEEE
16 years 22 days ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
157
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...