A provenly correct translation of Fickle into Java

Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca. A provenly correct translation of Fickle into Java. ACM Transactions on Programming Languages and Systems, 29(2):13, 2007. [doi]

Authors

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Christopher Anderson

This author has not been identified. Look up 'Christopher Anderson' in Google

Ferruccio Damiani

This author has not been identified. Look up 'Ferruccio Damiani' in Google

Sophia Drossopoulou

This author has not been identified. Look up 'Sophia Drossopoulou' in Google

Paola Giannini

This author has not been identified. It may be one of the following persons: Look up 'Paola Giannini' in Google

Elena Zucca

This author has not been identified. Look up 'Elena Zucca' in Google