4743 search results - page 381 / 949 » Introduction to Functional Programming |
172
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
178
click to vote
IFL
2005
Springer
16 years 8 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
147
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...
143
click to vote
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
Abstract- This paper proposes a hardwadsoftware cosynthesis algorithm for processors with heterogeneous registers. Given a CDFG correspondingto an application program and a timing ...
174
Voted
ERLANG
2004
ACM
16 years 5 days ago
2004
ACM
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...