487 search results - page 63 / 98 » Traits: experience with a language feature |
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
SIGSOFT
2005
ACM
16 years 15 days ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
203
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
103
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
171
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....