797 search results - page 6 / 160 » Eliminating Proofs from Programs |
SAS
1999
Springer
15 years 1 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
62
Voted
ENTCS
2007
14 years 9 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
62
Voted
SCP
2008
14 years 9 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
SE
2008
14 years 11 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...