S. DROSSOPOULOU Imperial College—London (2008)
D. Ancona, C. Anderson, P. Giannini, E. Zucca, ...
We present a translation from Fickle, a small object-oriented language allowing objects to change their class at runtime, into Java. The translation is provenly correct in the sense that it preserves...
A type preserving translation of Fickle into Java (Extended Abstract) (2008)
D. Ancona, S. Drossopoulou, P. Giannini, E. Zucca
We present a translation from Fickle (a Java-like language allowing objects that can change their class at run-time) into plain Java. The translation, which maps any Fickle class into a Java class,...
A Calculus of Evolving Objects (2008)
M. Dezani-Ciancaglini, P. Giannini, O. Nierstrasz
The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only must applications evolve over time, but the...
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, E. Zucca
Abstract. We present a translation from Fickle (a Java-like language allowing dynamic object re-classication, that is, objects that can change their class at run-time) into plain Java. The...
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, E. Zucca
Abstract. We present a translation from Fickle (a Java-like language allowing dynamic object re-classication, that is, objects that can change their class at run-time) into plain Java. The...
A Provenly Correct Translation of Fickle into Java (2003)
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, E. Zucca
We present a translation from a small object-oriented language allowing objects to change their class at run-time, into Java. The translation is provenly correct, in the sense that we have shown it...
Proton magnetic resonance spectroscopy in Parkinson's disease and progressive supranuclear palsy.
Federico, F, Simone, I L, Lucivero, V, De Mari, M, Giannini, P, Iliceto, G, ...
OBJECTIVES: Proton magnetic resonance spectroscopy (1H-MRS) localised to the lentiform nucleus, was carried out in eight patients with idiopathic Parkinson's disease and five patients with...
Simone, I, Federico, F, Tortorella, C, Andreula, C, Zimatore, G, Giannini, P, ...
OBJECTIVES—To evaluate the role of proton MR spectroscopy (1H-MRS) in detecting metabolic changes in diffuse or focal lesions in the brain of patients infected with HIV. METHODS—Sixty HIV...