10585 search results - page 501 / 2117 » The Orc Programming Language |
216
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
228
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
151
click to vote
SMALLTALK
2007
Springer
16 years 1 months ago
2007
Springer
While many software systems today have to be aware of the context in which they are executing, there is still little support for structuring a program with respect to context. A ...
168
click to vote
SIGADA
2005
Springer
16 years 15 days ago
2005
Springer
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
240
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...