3307 search results - page 24 / 662 » The meaning of concurrent programs |
92
Voted
CSMR
1998
IEEE
15 years 5 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
VMCAI
2010
Springer
15 years 10 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...
84
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
SIGADA
1999
Springer
15 years 4 months ago
1999
Springer