11 search results - page 1 / 3 » fossacs 2003 |
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...