1686 search results - page 5 / 338 » Programs as polygraphs: computability and complexity |
107
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
70
Voted
SOFSEM
2010
Springer
15 years 9 months ago
2010
Springer
187
Voted
POPL
2003
ACM
16 years 27 days 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...
113
click to vote
TCS
2011
14 years 7 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
76
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM