1128 search results - page 40 / 226 » Little Engines of Proof |
83
Voted
AGILEDC
2003
IEEE
15 years 2 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...
PPPJ
2003
ACM
15 years 2 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...
ESEM
2010
ACM
14 years 10 months ago
2010
ACM
Getting insight into different aspects of source code artifacts is increasingly important
JOT
2007
14 years 9 months 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...
PPDP
2007
Springer
15 years 3 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...