6 search results - page 1 / 2 » Lambda-Dropping: Transforming Recursive Equations into Progr... |
64
Voted
PEPM
1997
ACM
15 years 3 months ago
1997
ACM
88
Voted
JISE
2006
14 years 11 months ago
2006
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
103
Voted
ENTCS
2002
14 years 10 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
119
Voted
COMPASS
1994
15 years 3 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
EUROPAR
2003
Springer
15 years 4 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...