24 search results - page 1 / 5 » fossacs 2010 |
145
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
147
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
131
Voted
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
183
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
153
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...