1950 search results - page 273 / 390 » Lambda-Free Logical Frameworks |
219
click to vote
ISSTA
2012
ACM
13 years 9 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...
157
click to vote
DEXAW
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents a framework for the management of multiple representations of georeferenced elements in a GIS environment. This solution is presented from a database perspecti...
186
click to vote
LANMR
2004
15 years 7 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
191
click to vote
ASE
2004
15 years 6 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
170
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...