2911 search results - page 12 / 583 » A Logic of Graph Constraints |
116
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
118
click to vote
SCP
1998
15 years 11 days ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
92
Voted
JALC
2002
15 years 11 days ago
2002
A
65
Voted
TCS
2002
15 years 10 days ago
2002
Streams are acyclic directed subgraphs of the logical ow graph of a proof representing bundles of paths with the same origin and the same end. The notion of stream is used to desc...
109
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...