1805 search results - page 151 / 361 » Functional programming with structured graphs |
137
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
128
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
110
click to vote
SIGSOFT
1995
ACM
15 years 4 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
106
click to vote
ENTCS
2008
15 years 1 months ago
2008
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
121
click to vote
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
Graph structure can model the relationships among a set of objects. Mining quasi-clique patterns from large dense graph data makes sense with respect to both statistic and applica...