1128 search results - page 40 / 226 » Little Engines of Proof |
103
Voted
AGILEDC
2003
IEEE
15 years 5 months ago
2003
IEEE
In this experience report, a programmer at a medium-sized software company explains his tactics for bottom-up organizational change. The tactics are accompanied by personal recoll...
101
Voted
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
We present empirical evidence to demonstrate that there is little or no difference between the Java Virtual Machine and the .NET Common Language Runtime, as regards the compilati...
107
click to vote
ESEM
2010
ACM
15 years 1 months ago
2010
ACM
Getting insight into different aspects of source code artifacts is increasingly important
111
Voted
JOT
2007
15 years 13 days ago
2007
Beware of the colleague or supplier who spends large amounts of time in meetings discussing the format, sequence, and wording of documents they will deliver and very little time o...
113
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...