2585 search results - page 30 / 517 » Automating Coherent Logic |
183
click to vote
ALP
1994
Springer
15 years 11 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
158
Voted
CSL
2007
Springer
16 years 1 months ago
2007
Springer
158
Voted
ECSQARU
2005
Springer
16 years 29 days ago
2005
Springer
166
Voted
ECSQARU
2005
Springer
16 years 29 days ago
2005
Springer
170
Voted
LOPSTR
2005
Springer
16 years 28 days ago
2005
Springer
