2947 search results - page 90 / 590 » Analyzing Program Analyses |
133
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
PPAM
2007
Springer
15 years 8 months ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
145
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
149
click to vote
EUROGP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. To analyse various properties of the search process of genetic programming it is useful to quantify the distance between two individuals. Using operator-based distance me...
115
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...