5198 search results - page 141 / 1040 » A Logic of Agent Programs |
AI
2008
Springer
15 years 4 months ago
2008
Springer
IJFCS
2008
15 years 4 months ago
2008
110
Voted
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
96
Voted
ENTCS
2002
15 years 3 months ago
2002
133
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...