FLOPS
14 years 4 days 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...
FLOPS
14 years 4 days 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...
FLOPS
14 years 4 days 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...
FLOPS
14 years 4 days ago
2010 Springer FLOPS
14 years 4 days ago
2010 Springer |