2623 search results - page 20 / 525 » Hoare Logic in the Abstract |
69
Voted
JELIA
1990
Springer
15 years 1 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
14 years 11 months ago
2003
emic Logic for Arbitration (Extended Abstract)
ICLP
1991
Springer
15 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
169
Voted
POPL
2009
ACM
15 years 10 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
15 years 1 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 ...