Italiano (Italian) English (Inglese)
Friday, 21 June 2024

Publications

Back
Pubblication Details
Authors:Davide Ancona
Christopher Anderson
Ferruccio Damiani
Sophia Drossopoulou
Paola Giannini
Elena Zucca
Title:A provenly correct translation of Fickle into Java
Published on:ACM Transactions On Programming Languages and Systems 29 2
Pages:Art. n.13 (67 pages)
Publisher:ACM
Year:2007
Tipo Pubblicazione:Paper on International Journal
URL:http://www.di.unito.it/...damiani/papers/toplas3.html