5377 search results - page 164 / 1076 » Programming Languages For Interactive Computing |
110
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
106
Voted
VL
2003
IEEE
15 years 6 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...
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
115
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
102
Voted
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...