1205 search results - page 87 / 241 » Program Extraction from Large Proof Developments |
138
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
100
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract Our work aims at developing a robust discriminant controller for robot programming by demonstration. It addresses two core issues of imitation learning, namely what to...
146
click to vote
NIPS
2007
15 years 3 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
121
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
110
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Type III secretion system (T3SS) is a specialized protein delivery system in gramnegative bacteria that injects proteins (called effectors) directly into the eukaryoti...