824 search results - page 86 / 165 » Constructing Functional Programs for Grammar Analysis Proble... |
127
Voted
IDA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
164
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
120
Voted
POPL
2010
ACM
16 years 1 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
107
Voted
ENTCS
2007
15 years 2 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
142
Voted
GCC
2006
Springer
15 years 6 months ago
2006
Springer
Grid computing is becoming more and more attractive to provide a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. GridPPI ...