168
click to vote
FLOPS
15 years 11 months ago
2010 Springer 
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
116
click to vote
FLOPS
15 years 11 months ago
2010 Springer 
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
151
click to vote
FLOPS
15 years 11 months ago
2010 Springer 
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
|
Automated Reasoning