1099 search results - page 1 / 220 » A tool for assisting the understanding and formal developmen... |
SEKE
1994
Springer
13 years 9 months ago
1994
Springer
MSR
2005
ACM
13 years 10 months ago
2005
ACM
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
CHI
2010
ACM
14 years 1 days ago
2010
ACM
We investigate the use of on-line contextual video assistance to improve the learnability of software functionality. After discussing motivations and design goals for such forms o...
TACAS
2000
Springer
13 years 8 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...