5343 search results - page 350 / 1069 » Keyword programming in java |
131
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
113
click to vote
ANOR
2007
15 years 3 months ago
2007
In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today - t...
132
Voted
GPEM
2006
15 years 3 months ago
2006
A novel method for solving ordinary and partial differential equations, based on grammatical evolution is presented. The method forms generations of trial solutions expressed in an...
120
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
This paper investigates the role of online resources in problem solving. We look specifically at how programmers--an exemplar form of knowledge workers--opportunistically interlea...
135
click to vote
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...