2777 search results - page 181 / 556 » Example centric programming |
85
Voted
ICFP
2006
ACM
16 years 22 days ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
107
click to vote
ICFP
2004
ACM
16 years 22 days ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
117
click to vote
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
130
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
135
Voted
TAP
2007
Springer
15 years 6 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...