2777 search results - page 129 / 556 » Example centric programming |
90
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
106
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
109
Voted
ICFP
2005
ACM
16 years 17 days 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...
104
Voted
ICFP
2003
ACM
16 years 17 days ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
113
click to vote
ICFP
2006
ACM
16 years 17 days ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...