884 search results - page 1 / 177 » Control structures in programs and computational complexity |
APAL
2005
13 years 4 months ago
2005
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
POPL
2003
ACM
14 years 5 months ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
GPEM
2000
13 years 4 months ago
2000
Genetic programming is an automatic method for creating a computer program or other complex structure to solve a problem. This paper first reviews various instances where genetic p...