4757 search results - page 317 / 952 » Monads for Functional Programming |
164
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
147
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
157
click to vote
PPPJ
2003
ACM
15 years 12 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
172
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
150
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Many evolutionary computation search spaces require fitness assessment through the sampling of and generalization over a large set of possible cases as input. Such spaces seem par...