5 search results - page 1 / 1 » Lazy Assertions |
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
IFL
2003
Springer
14 years 4 months ago
2003
Springer
SCAM
2007
IEEE
14 years 5 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
DMIN
2006
14 years 6 days ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...
KR
2000
Springer
14 years 2 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...