6 search results - page 1 / 2 » Lambda-Dropping: Transforming Recursive Equations into Progr... |
PEPM
1997
ACM
13 years 8 months ago
1997
ACM
JISE
2006
13 years 4 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 ...
ENTCS
2002
13 years 4 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...
COMPASS
1994
13 years 8 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
13 years 9 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...