1613 search results - page 269 / 323 » Functional and Constraint Logic Programming |
135
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
114
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Linear motifs (LMs) are abundant short regulatory sites used for modulating the functions of many eukaryotic proteins. They play important roles in post-translational ...
133
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
129
Voted
IEAAIE
1998
Springer
15 years 7 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
136
Voted
ICSOC
2009
Springer
15 years 14 days ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...