4099 search results - page 180 / 820 » A Framework for Interactive Proof |
151
click to vote
CLIMA
2004
15 years 6 months ago
2004
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
162
Voted
FDG
2009
ACM
15 years 3 months ago
2009
ACM
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...
209
click to vote
ICFP
1997
ACM
15 years 9 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
149
click to vote
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
171
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...