Issue 7-8/2008
Content (5 Articles)
Original Article
A type safe state abstraction for coordination in Java-like languages
Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou
Original Article
Charting the completeness frontier of inference systems for multivalued dependencies
Sebastian Link
Original Article
Scattered context grammars that erase nonterminals in a generalized k-limited way
Alexander Meduna, Jiří Techet