1205 search results - page 6 / 241 » Program Extraction from Large Proof Developments |
PST
2008
13 years 11 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
AAAI
2010
13 years 11 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
CIE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
We study common query intentions in a software developer network with more than one million users. Based on a large query log analysis we could identify typical search intentions a...
SAT
2010
Springer
14 years 1 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...