3566 search results - page 86 / 714 » Signed Logic Programs |
82
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
101
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
72
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
90
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
126
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...