345 search results - page 45 / 69 » A Programming Logic for Sequential Java |
103
click to vote
COMPSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
187
click to vote
ECOOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
148
click to vote
POPL
2001
ACM
15 years 11 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
83
Voted
DAC
2009
ACM
16 years 3 days ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
151
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...