2635 search results - page 216 / 527 » Computing multihomogeneous resultants using straight-line pr... |
114
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
122
click to vote
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
91
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
AUIC
2006
IEEE
15 years 6 months ago
2006
IEEE
An execution trace contains a description of everything that happened during an execution of a program. Execution traces are useful, because they can help software engineers under...
104
Voted
LOGCOM
2007
15 years 19 days ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...