4895 search results - page 501 / 979 » Functional Quantum Programming |
180
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
158
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
195
click to vote
PLDI
2004
ACM
16 years 11 days ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
161
click to vote
ICCS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
130
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
To ensure the deployment of reusable and reliable components, it is important to verify their functionality. In this paper, we present a framework for component testing, an extens...