3311 search results - page 373 / 663 » Deductive Object Programming |
150
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
105
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
We argue that mutable programs are an important class of future applications. The field of software agents is an important beneficiary of mutability. We evaluate existing mutabl...
131
Voted
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
122
click to vote
FLAIRS
2008
15 years 6 months ago
2008
An important hypothesis of the research reported in this paper is that dynamic space warping (DSW), a dynamic programming (DP) technique (Bellman 1965, Brown 1996), can be effecti...
130
Voted
IPCO
2007
15 years 5 months ago
2007
In this paper we explore the geometry of the integer points in a cone rooted at a rational point. This basic geometric object allows us to establish some links between lattice poin...