9595 search results - page 105 / 1919 » Functional programming in C |
124
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...
141
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
TACO
2008
15 years 2 months ago
2008
ASSETS
2000
ACM
15 years 7 months ago
2000
ACM
101
click to vote
ICGA
2007
15 years 2 months ago
2007
The phenomenon of diminishing returns for additional search effort has been observed by several researchers. We study experimentally additional factors which influence the behavio...