5377 search results - page 688 / 1076 » Programming Languages For Interactive Computing |
158
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
154
Voted
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
131
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
135
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
145
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...