2004 search results - page 109 / 401 » Interaction nets: programming language design and implementa... |
144
Voted
AC
2008
Springer
15 years 5 months ago
2008
Springer
Sparse matrices are first class objects in many VHLLs (very high level languages) used for scientific computing. They are a basic building block for various numerical and combinat...
141
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
134
Voted
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
118
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
The leading implementations of graph reduction all target conventional processors designed for low-level imperative execution. In this paper, we present a processor specially desi...
121
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...