4959 search results - page 39 / 992 » Imperative Functional Programming |
108
click to vote
POPL
1992
ACM
15 years 4 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...
124
click to vote
WCRE
1995
IEEE
15 years 4 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...
104
click to vote
PLDI
2004
ACM
15 years 6 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...
113
click to vote
TGC
2010
Springer
14 years 10 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...
122
Voted
APLAS
2011
ACM
14 years 15 days 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...