10622 search results - page 538 / 2125 » Python Programming Language |
198
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
196
Voted
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
245
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
218
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
226
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...