158
click to vote
FLOPS
15 years 10 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...
109
click to vote
FLOPS
15 years 10 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...
143
Voted
FLOPS
15 years 10 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...
101
Voted
FLOPS
15 years 10 months ago
2010 Springer FLOPS
15 years 10 months ago
2010 Springer  |
Automated Reasoning