1159 search results - page 104 / 232 » On The Next Move in Programming |
137
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
141
click to vote
AOR
2006
15 years 21 days ago
2006
In this paper we briefly review the importance of LP (linear programming), and Dantzig's main contributions to OR (Operations Research), mathematics, and computer science. In...
96
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
126
click to vote
ASPLOS
1992
ACM
15 years 4 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
96
Voted
GPCE
2007
Springer
15 years 4 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...