10666 search results - page 1384 / 2134 » Quantum programming languages |
176
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
We present results from a field study investigating the influence of conversations on the multitasking behavior of computer users. We report on several findings, including the timi...
204
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
200
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
The widely used Mark-and-Sweep garbage collector has a drawback in that it does not move objects during collection. As a result, large long-running realistic applications, such as...
228
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
The widespread presence of SIMD devices in today’s microprocessors has made compiler techniques for these devices tremendously important. One of the most important and difficul...
209
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...