2673 search results - page 49 / 535 » Guided Static Analysis |
126
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
78
Voted
ADC
2004
Springer
15 years 6 months ago
2004
Springer
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
104
Voted
PACT
2001
Springer
15 years 5 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
101
click to vote
APN
2007
Springer
15 years 6 months ago
2007
Springer
Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an eas...
198
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...