1411 search results - page 142 / 283 » Interactive Coding for Interactive Proofs |
ESOP
1999
Springer
15 years 2 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
NPIV
1999
ACM
15 years 2 months ago
1999
ACM
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
111
click to vote
TIT
1998
14 years 9 months ago
1998
In this article we review some recent interactions between harmonic analysis and data compression. The story goes back of course to Shannon’s R(D) theory in the case of Gaussian...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
A detailed study of Java programmers' text editing found that the full flexibility of unstructured text was not utilized for the vast majority of programmers' character-...
107
click to vote
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...