1320 search results - page 210 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
161
click to vote
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
129
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
144
click to vote
SIGARCH
2008
15 years 2 months ago
2008
As multicore architectures gain widespread use, it becomes increasingly important to be able to harness their additional processing power to achieve higher performance. However, e...
116
Voted
DOCENG
2006
ACM
15 years 8 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
246
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...