5090 search results - page 459 / 1018 » Constructing Strategies for Programming |
154
click to vote
ESOP
2004
Springer
16 years 9 days ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
163
click to vote
AGP
2003
IEEE
16 years 6 days ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
178
click to vote
AC
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
211
click to vote
AC
2003
Springer
16 years 4 days ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
156
click to vote
ICES
2003
Springer
16 years 3 days ago
2003
Springer
A review is given of approaches to growing neural networks and electronic circuits. A new method for growing graphs and circuits using a developmental process is discussed. The met...