3228 search results - page 242 / 646 » Computationally Sound Proofs |
199
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Ucigame (pronounced OO-see-GAH-me) is a Java package that supports the programming of 2D sprite-based computer games. Designed for novice programmers, it enables students in an in...
295
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
290
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
162
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
182
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...