4386 search results - page 441 / 878 » A Tamper-Resistant Programming Language System |
245
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
150
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
122
click to vote
PDCAT
2007
Springer
15 years 10 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
105
click to vote
ICALP
1990
Springer
15 years 8 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
137
Voted
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...