4421 search results - page 35 / 885 » Libraries |
116
click to vote
HASKELL
2007
ACM
15 years 5 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
MKM
2004
Springer
15 years 6 months ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
104
click to vote
AAAI
2004
15 years 2 months ago
2004
This paper presents a discussion of the theoretical complexity of plan recognition on the basis of an analysis of the number of explanations that any complete plan recognition alg...
WSC
1997
15 years 2 months ago
1997
The data collection and the automatic run-length control features provided in the CSIM18 library allow model builders to easily collect valid data from a simulation model and to b...