1193 search results - page 177 / 239 » Database Query Languages and Functional Logic Programming |
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
An item pool with multimedia data is a finclamental part of our project? Computerized Adaptive Test System of Chinese Proficiency. This p p e r intends to present a design of a mu...
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
IDT
2010
14 years 8 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
ICLP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...