2436 search results - page 97 / 488 » Comonadic Notions of Computation |
129
click to vote
POPL
1995
ACM
15 years 7 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
139
click to vote
AMW
2009
15 years 5 months ago
2009
In sequential pattern discovery, the support of a sequence is computed as the number of data-sequences satisfying a pattern with respect to the total number of data-sequences in th...
154
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
101
click to vote
APAL
2008
15 years 4 months ago
2008
We study and compare two combinatorial lowness notions: strong jump-traceability and well-approximability of the jump, by strengthening the notion of jump-traceability and super-l...
143
click to vote
ENTCS
2007
15 years 3 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...