Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

tipoA-DrossopoulouDamianiDezaniGiannini:TOPLAS-02 (Article)
Author(s) Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini and Paola Giannini
Title« More Dynamic Object Re-classification: FickleII »
JournalACM Transactions On Programming Languages and Systems
Volume24
Number2
Page(s)153-191
Year2002
URLhttp://www.di.unito.it/~damiani/papers/dor.html

BibTeX code

@article{tipoA-DrossopoulouDamianiDezaniGiannini:TOPLAS-02,
  number = {2},
  volume = {24},
  author = {Sophia Drossopoulou and Ferruccio Damiani and Mariangiola
            Dezani-Ciancaglini and Paola Giannini},
  url = {http://www.di.unito.it/~damiani/papers/dor.html},
  title = {More Dynamic Object Re-classification: Fickle$_{II}$},
  tag = {ACM Transactions On Programming Languages and Systems, 24(2):153-191},
  publisher = {ACM},
  year = {2002},
  pages = {153-191},
  journal = {ACM Transactions On Programming Languages and Systems},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!