4757 search results - page 627 / 952 » Monads for Functional Programming |
224
click to vote
ADAEUROPE
2007
Springer
16 years 26 days ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
180
click to vote
IPSN
2007
Springer
16 years 24 days ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
173
click to vote
PEPM
2007
ACM
16 years 24 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
175
click to vote
APLAS
2006
ACM
16 years 19 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
211
click to vote
ICSM
2005
IEEE
16 years 8 days ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...