718 search results - page 88 / 144 » Extraction of Structured Programs from Specification Proofs |
BMCBI
2007
13 years 8 months ago
2007
Background: Over the past decade, a number of tools have emerged for the examination of homology relationships among protein sequences in a structural context. Most recent softwar...
SCP
2011
13 years 3 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
BMCBI
2006
13 years 8 months ago
2006
Background: In our previous studies, we found that the sites in prokaryotic genomes which are most susceptible to duplex destabilization under the negative superhelical stresses t...
DILS
2006
Springer
14 years 13 days ago
2006
Springer
The Open Biomedical Ontologies (OBO) is a consortium that serves as a repository of ontologies that are structured like directed acyclic graphs. In this paper we present a language...
DEEC
2006
IEEE
14 years 2 months ago
2006
IEEE
A substantial subset of the web data follows some kind of underlying structure. In order to let software programs gain full benefit from these “semistructured” web sources, wra...