10666 search results - page 1433 / 2134 » Quantum programming languages |
220
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
178
click to vote
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
192
Voted
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
189
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Good data layouts improve cache and TLB performance of object-oriented software, but unfortunately, selecting an optimal data layout a priori is NP-hard. This paper introduces layo...
187
click to vote
ERLANG
2008
ACM
15 years 9 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...