479 search results - page 11 / 96 » On Static Properties of Specialized Programs |
227
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
144
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
126
Voted
SIGSOFT
1994
ACM
15 years 7 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
134
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
154
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...