1707 search results - page 146 / 342 » Early Integer Programming |
172
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
108
click to vote
JCHE
2010
14 years 7 months ago
2010
This paper presents a pre-orientation program for incoming college students, Active Citizenship through Technology (ACT), that engaged students in civic dialogue early in their aca...
91
Voted
VAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Features have been recognized as important building blocks of software product lines. Unfortunately, features have been mostly confined to modeling activities as they were origina...
77
Voted
SIGCSE
2006
ACM
15 years 6 months ago
2006
ACM
Teaching introductory programming today presents considerable challenges, which traditional techniques do not properly address. Students start with a wide variety of backgrounds a...
95
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...