10585 search results - page 1865 / 2117 » The Orc Programming Language |
167
Voted
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
166
Voted
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
224
click to vote
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
—Software logging is a conventional programming practice. While its efficacy is often important for users and developers to understand what have happened in the production run, ...
127
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
130
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...