1901 search results - page 13 / 381 » Predicting Program Properties from |
CADE
2006
Springer
15 years 11 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 ...
BMCBI
2008
14 years 10 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...
WINE
2007
Springer
15 years 4 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...
BMCBI
2006
14 years 10 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...
174
click to vote
POPL
2006
ACM
15 years 11 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...