11 search results - page 1 / 3 » fossacs 2003 |
66
Voted
FOSSACS
2003
Springer
15 years 3 months ago
2003
Springer
78
Voted
FOSSACS
2003
Springer
15 years 3 months ago
2003
Springer
82
Voted
FOSSACS
2003
Springer
15 years 3 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...
93
Voted
FOSSACS
2003
Springer
15 years 3 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...
80
Voted
FOSSACS
2003
Springer
15 years 3 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...