1063 search results - page 28 / 213 » Programming Methodologies in GCLA |
104
click to vote
LPAR
2001
Springer
15 years 6 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
156
Voted
SIGSOFT
2010
ACM
15 years 5 days ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
141
click to vote
TC
2010
14 years 9 months ago
2010
Multithreaded architectures are becoming more and more popular. In order to evaluate their behavior, several methodologies and metrics have been proposed. A methodology defines whe...
232
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
100
Voted
INFSOF
2010
15 years 23 days ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...