2947 search results - page 97 / 590 » Analyzing Program Analyses |
112
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
This paper presents program analyses and transformations that discover a general class of auxiliary information for any incremental computation problem. Combining these techniques...
138
Voted
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
124
Voted
INFORMATICALT
2007
15 years 2 months ago
2007
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
109
Voted
CONCURRENCY
2004
15 years 2 months ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
131
Voted
FMOODS
2008
15 years 4 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...