183 search results - page 5 / 37 » Mostly-Functional Behavior in Java Programs |
92
Voted
APSEC
2002
IEEE
15 years 3 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
114
Voted
ECOOP
2012
Springer
13 years 21 days ago
2012
Springer
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
74
Voted
ECOOP
2000
Springer
15 years 1 months ago
2000
Springer
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
95
Voted
CAV
2012
Springer
13 years 21 days ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
72
Voted
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...