2623 search results - page 20 / 525 » Hoare Logic in the Abstract |
JELIA
1990
Springer
13 years 11 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
IJCAI
2003
13 years 8 months ago
2003
emic Logic for Arbitration (Extended Abstract)
ICLP
1991
Springer
13 years 11 months ago
1991
Springer
Interpretation of Logic Programs 1
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Parallel processing networks, even full crossbars, that only implement point-to-point and multicast message passing are inefficient for collective communications because multiple ...