2604 search results - page 256 / 521 » General constant expressions for system programming language... |
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
130
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
107
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
114
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Distributed Internet-based attacks on computer systems are becoming more prevalent. These attacks usually employ some form of automation and involve the compromise of many systems...
128
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...