6149 search results - page 423 / 1230 » Revealing the programming process |
250
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
208
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
201
click to vote
TOPLAS
1998
15 years 6 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
168
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...
150
click to vote
GPCE
2003
Springer
16 years 2 days ago
2003
Springer
Multimedia stream processing is a rapidly evolving domain which requires much software development and expects high performance. Developing a streaming application often involves l...