1880 search results - page 57 / 376 » A Static Analysis for Beta-Binders |
SIGADA
1998
Springer
15 years 3 months ago
1998
Springer
SAS
1997
Springer
15 years 3 months ago
1997
Springer
101
Voted
AGP
1993
IEEE
15 years 3 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
88
Voted
FM
2006
Springer
15 years 3 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...