7124 search results - page 251 / 1425 » Programming Languages and Operating Systems |
253
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
146
click to vote
AVI
2004
15 years 8 months ago
2004
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...
215
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
194
click to vote
PADL
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
163
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...