Sciweavers

1702 search results - page 1 / 341
» Doomed program points
Sort
View
FMSD
2010
61views more  FMSD 2010»
12 years 11 months ago
Doomed program points
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
13 years 11 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
CHI
2001
ACM
14 years 5 months ago
Doom as an interface for process management
This paper explores a novel interface to a system administration task. Instead of creating an interface de novo for the task, the author modified a popular computer game, Doom, to...
Dennis L. Chao

Tutorial
769views
15 years 2 months ago
How to be a Programmer: A Short, Comprehensive, and Personal Summary
"To be a good programmer is difficult and noble. The hardest part of making real a collective vision of a software project is dealing with one's coworkers and customers. ...
Robert L. Read
CP
2005
Springer
13 years 10 months ago
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
Grégoire Dooms, Yves Deville, Pierre Dupont