487 search results - page 10 / 98 » Do Onboarding Programs Work |
JFP
2010
13 years 6 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
We studied the perceived effects of pair programming (PP) compared to solo programming in a large scale, industrial software development context. We surveyed developers (N=28) reg...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Over the last several years, the Computer Science (CS) community has put a great deal of effort in to the area of security research, and have made great advances. Counterintuitive...
PLDI
1994
ACM
13 years 11 months ago
1994
ACM
Programslices have potentialuses in manysoftware engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump st...
FOSAD
2009
Springer
13 years 11 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...