4959 search results - page 39 / 992 » Imperative Functional Programming |
120
Voted
POPL
1992
ACM
15 years 6 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...
138
Voted
WCRE
1995
IEEE
15 years 5 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...
123
click to vote
PLDI
2004
ACM
15 years 7 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...
128
click to vote
TGC
2010
Springer
15 years 4 days 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...
134
click to vote
APLAS
2011
ACM
14 years 2 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...