1411 search results - page 149 / 283 » Interactive Coding for Interactive Proofs |
IWPC
1997
IEEE
15 years 2 months ago
1997
IEEE
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
IEAAIE
2004
Springer
15 years 3 months ago
2004
Springer
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
RISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. How can off-the-shelf editors be reused in applications that need mature editing support? We describe our editor multiplexer which enables interactive, application guided...
VL
2003
IEEE
15 years 3 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...