5810 search results - page 864 / 1162 » An Approach to Programming Based on Concepts |
168
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
186
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
185
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
183
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
180
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...