406 search results - page 40 / 82 » PL-detective: a system for teaching programming language con... |
ICFP
2009
ACM
14 years 11 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
WEBNET
2000
13 years 11 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
SASO
2008
IEEE
14 years 4 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...