4959 search results - page 39 / 992 » Imperative Functional Programming |
90
Voted
POPL
1992
ACM
15 years 3 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
110
Voted
WCRE
1995
IEEE
15 years 2 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
86
Voted
PLDI
2004
ACM
15 years 4 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
99
Voted
TGC
2010
Springer
14 years 8 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
104
Voted
APLAS
2011
ACM
13 years 11 months ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...