4281 search results - page 143 / 857 » How to Disembed a Program |
151
Voted
XPU
2010
Springer
15 years 29 days ago
2010
Springer
Experimentation is one way to gain insight into how processes perform for a team, but industry teams rarely do experiments, fearing that such educational excursions will incur extr...
178
Voted
TSE
2011
14 years 9 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
104
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Many countries around the world have initiated national ID card programs in the last decade. These programs are considered of strategic value to governments due to its contributio...
132
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
247
click to vote
Book
"This book is not going to praise object-oriented programming or condemn the
Old Way. We are simply going to use ANSI-C to discover how object-oriented programming is done, w...