32032 search results - page 88 / 6407 » Verified programming in Guru |
129
Voted
ICFP
2010
ACM
15 years 29 days ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
131
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
134
Voted
ICFP
2002
ACM
16 years 22 days ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
226
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...