677 search results - page 20 / 136 » Dependent Types from Counterexamples |
TCS
2008
14 years 9 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
SCP
2008
14 years 9 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
HIPC
2003
Springer
15 years 2 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
INTERACT
2003
14 years 11 months ago
2003
With dwell time activation, completely hands free interaction may be achieved by tracking the user’s gaze positions. The first study presented compares typing by mouse click with...