487 search results - page 4 / 98 » The Java System Dependence Graph |
217
click to vote
TOPLAS
2010
15 years 5 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
163
click to vote
ESSOS
2010
Springer
16 years 3 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
129
click to vote
GG
2004
Springer
16 years 5 hour ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
156
click to vote
WSC
1997
15 years 8 months ago
1997
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification o...
166
click to vote
VISSOFT
2005
IEEE
16 years 6 days ago
2005
IEEE
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...