2752 search results - page 22 / 551 » Rounding to an Integral Program |
ITICSE
2003
ACM
14 years 1 months ago
2003
ACM
Computing may well become considered an essential part of a liberal education, but introductory programming courses will not look like the way that they do today. Current CS1 cour...
TSE
2011
13 years 3 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
CC
2003
Springer
14 years 1 months ago
2003
Springer
ICALP
2003
Springer
14 years 1 months ago
2003
Springer
