3481 search results - page 430 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
116
click to vote
POPL
2012
ACM
14 years 6 days ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
155
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
144
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
136
click to vote
DRM
2007
Springer
15 years 10 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
166
click to vote
POPL
2012
ACM
14 years 6 days ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...