100 search results - page 11 / 20 » Static Analysis of Non-interference in Expressive Low-Level ... |
93
Voted
FASE
2008
Springer
15 years 19 days ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
104
Voted
PEPM
2011
ACM
14 years 1 months ago
2011
ACM
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
ACSC
2009
IEEE
15 years 5 months ago
2009
IEEE
The Python programming language is typical among dynamic languages in that programs written in it are not susceptible to static analysis. This makes efficient static program compi...
60
Voted
GPCE
2004
Springer
15 years 4 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
SIGSOFT
2000
ACM
15 years 3 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...