4743 search results - page 307 / 949 » Introduction to Functional Programming |
157
click to vote
COORDINATION
2007
Springer
16 years 25 days ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
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...