926 search results - page 127 / 186 » Prolog as the First Programming Language |
130
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
114
Voted
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
Innovative teachers are continually looking for creative ideas, both to get their ideas across and to hold the interest of their students. One of the latest trends is the use of L...
124
Voted
NAACL
1994
15 years 3 months ago
1994
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
119
Voted
FCCM
2000
IEEE
15 years 7 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
162
Voted
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...