110
Voted
ENTCS
2010
14 years 7 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
117
click to vote
ENTCS
2010
14 years 7 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
121
Voted
ENTCS
2010
14 years 10 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
125
Voted
ENTCS
2010
14 years 10 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
113
Voted
ENTCS
2010
14 years 10 months ago
2010
92
Voted
ENTCS
2010
14 years 10 months ago
2010
139
click to vote
ENTCS
2010
14 years 10 months ago
2010
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
88
Voted
ENTCS
2010
14 years 10 months ago
2010
116
Voted
ENTCS
2010
14 years 10 months ago
2010
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
139
Voted
ENTCS
2010
14 years 10 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...