3713 search results - page 384 / 743 » Constructing a Calculus of Programs |
147
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
146
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
143
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
150
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
151
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...