297 search results - page 31 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
118
click to vote
CONCUR
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
210
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
100
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
184
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
131
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...