3323 search results - page 446 / 665 » Computational Semantics with Functional Programming |
319
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
206
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
197
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
199
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
164
click to vote
DCC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe the QccPack software package, an open-source collection of library routines and utility programs for quantization, compression, and coding of data. QccPack is being wr...