2343 search results - page 51 / 469 » Structure and Interpretation of Computer Programs |
137
Voted
VL
1991
IEEE
15 years 6 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
130
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
120
click to vote
JMLR
2010
14 years 9 months ago
2010
The topic of the paper is computer testing of (probabilistic) conditional independence (CI) implications by an algebraic method of structural imsets. The basic idea is to transfor...
114
Voted
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
103
click to vote
AOSD
2003
ACM
15 years 7 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...