10585 search results - page 546 / 2117 » The Orc Programming Language |
215
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...
225
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...
174
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
200
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
195
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...