7124 search results - page 511 / 1425 » Programming Languages and Operating Systems |
257
click to vote
PDPTA
1997
15 years 9 months ago
1997
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
343
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
216
click to vote
AGP
1998
IEEE
15 years 12 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
233
click to vote
DAGSTUHL
1996
15 years 9 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
297
click to vote
ENTCS
2007
15 years 7 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...