1411 search results - page 85 / 283 » Interactive Coding for Interactive Proofs |
AIED
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents NavEx, an adaptive environment for accessing interactive programming examples. NavEx implements a specific kind of adaptive navigation support known as adaptive...
102
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
109
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
95
Voted
CLIMA
2004
15 years 1 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
124
click to vote
ENTCS
2006
15 years 16 days ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...