51 search results - page 2 / 11 » Inferring Declarative Requirements Specifications from Opera... |
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
DALT
2006
Springer
13 years 8 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
WWW
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, we present a framework for online discovery of semantic links from relational data. Our framework is based on declarative specification of the linkage requirements ...