6054 search results - page 1027 / 1211 » Implementation of Andorra-based Languages |
140
Voted
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
99
Voted
SAC
1998
ACM
15 years 5 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
CP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
121
Voted
SIGMOD
1998
ACM
15 years 5 months ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
106
Voted
SIGMOD
1998
ACM
15 years 5 months ago
1998
ACM
The functionality of extensible database servers can be augmented by user-de ned functions UDFs . However, the server's security and stability are concerns whenever new code...