10622 search results - page 493 / 2125 » Python Programming Language |
201
click to vote
ICFP
2005
ACM
16 years 6 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...
218
click to vote
AGTIVE
2007
Springer
16 years 27 days 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...
144
click to vote
SMALLTALK
2007
Springer
16 years 25 days 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 ...
161
Voted
SIGADA
2005
Springer
16 years 5 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...
218
click to vote
APLAS
2010
ACM
15 years 5 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...