1128 search results - page 25 / 226 » Little Engines of Proof |
CSCW
2002
ACM
2002
ACM
A new dimension in access control: studying maintenance engineering across organizational boundaries
14 years 9 months ago
Inter-organizational cooperation has specific requirements for access control. The paper presents the results from a field study which looks at the cooperation between two enginee...
VL
2002
IEEE
15 years 2 months ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
VSTTE
2010
Springer
14 years 7 months ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...