228
click to vote
PADL
16 years 1 months ago
2009 Springer 
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
232
click to vote
PADL
16 years 1 months ago
2009 Springer 
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
206
click to vote
PADL
16 years 1 months ago
2009 Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
220
Voted
PADL
16 years 1 months ago
2009 Springer 
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
195
Voted
PADL
16 years 1 months ago
2009 Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
|
Programming Languages