126 search results - page 12 / 26 » Deriving Compilers and Virtual Machines for a Multi-level La... |
VEE
2005
ACM
14 years 1 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
ERLANG
2004
ACM
14 years 29 days ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
Java applications rely on Just-In-Time (JIT) compilers or adaptive compilers to generate and optimize binary code at runtime to boost performance. In conventional Java Virtual Mac...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
PLDI
1993
ACM
13 years 11 months ago
1993
ACM
Data locality is critical to achievinghigh performance on large-scale parallel machines. Non-local data accesses result in communication that can greatly impact performance. Thus ...