Sciweavers

1940 search results - page 130 / 388
» Graph Transformation with Variables
Sort
View
SLP
1997
89views more  SLP 1997»
15 years 4 months ago
Program Analysis via Graph Reachability
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
Thomas W. Reps
131
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
An integrated aspect-oriented model-driven software product line tool suite
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
Christa Schwanninger, Iris Groher, Markus Völ...
145
Voted
JIPS
2007
100views more  JIPS 2007»
15 years 3 months ago
Static Type Assignment for SSA Form in CTOC
: Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadv...
Ki-Tae Kim, Weon-Hee Yoo
110
Voted
FLAIRS
2003
15 years 4 months ago
MDL-Based Context-Free Graph Grammar Induction
We present an algorithm for the inference of context-free graph grammars from examples. The algorithm builds on an earlier system for frequent substructure discovery, and is biase...
Istvan Jonyer, Lawrence B. Holder, Diane J. Cook
109
Voted
SODA
2003
ACM
130views Algorithms» more  SODA 2003»
15 years 4 months ago
Directed scale-free graphs
We introduce a model for directed scale-free graphs that grow with preferential attachment depending in a natural way on the in- and out-degrees. We show that the resulting in- an...
Béla Bollobás, Christian Borgs, Jenn...