1452 search results - page 163 / 291 » Algorithmic Analysis of Array-Accessing Programs |
126
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
119
Voted
EOR
2006
15 years 2 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
122
Voted
IPPS
2010
IEEE
15 years 3 days ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
116
click to vote
AAECC
2007
Springer
15 years 2 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
156
Voted
SIGSOFT
2006
ACM
15 years 8 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...