643 search results - page 92 / 129 » Semantic Determinism and Functional Logic Program Properties |
135
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
242
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
158
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
MEMOCODE
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
107
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...