1901 search results - page 13 / 381 » Predicting Program Properties from |
122
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
110
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Prediction of protein solvent accessibility, also called accessible surface area (ASA) prediction, is an important step for tertiary structure prediction directly from...
115
click to vote
WINE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Continuity of the mapping from initial endowments and utilities to equilibria is an essential property for a desirable model of an economy – without continuity, small e...
101
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Although it is not difficult for state-of-the-art gene finders to identify coding regions in prokaryotic genomes, exact prediction of the corresponding translation ini...
208
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...