4355 search results - page 285 / 871 » From Interpretation to Compilation |
170
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
161
click to vote
FPL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
186
click to vote
LCR
1998
Springer
15 years 11 months ago
1998
Springer
Programs accessing disk-resident arrays, called out-of-core programs, perform poorly in general due to an excessive number of I/O calls and insufficient help from compilers. In ord...
177
click to vote
HOPL
1993
15 years 10 months ago
1993
This paper outlines the history of the C++ programming language. The emphasis is on the ideas, constraints, and people that shaped the language, rather than the minutiae of langua...
173
click to vote
SPAA
1993
ACM
15 years 10 months ago
1993
ACM
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...