5377 search results - page 668 / 1076 » Programming Languages For Interactive Computing |
282
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
163
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
125
click to vote
ERSHOV
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
176
click to vote
SEW
2006
IEEE
16 years 5 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
161
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...