2977 search results - page 361 / 596 » Programming Environments for Novices |
136
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
124
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
153
click to vote
GSEM
2004
Springer
15 years 7 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
135
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
141
Voted
SIGADA
2001
Springer
15 years 6 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...