2777 search results - page 164 / 556 » Example centric programming |
208
Voted
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
123
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
125
Voted
SAC
2009
ACM
15 years 9 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-...
131
click to vote
ICS
1994
Tsinghua U.
15 years 6 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...