home *** CD-ROM | disk | FTP | other *** search
/ ftp.disi.unige.it / 2015-02-11.ftp.disi.unige.it.tar / ftp.disi.unige.it / pub / .person / AnconaD / papers / Publications.bib < prev    next >
Text File  |  2001-05-21  |  12KB  |  370 lines
  1. @string{popl88="ACM Symp. on Principles of Programming Languages 1988"}
  2. @string{popl13="Proc. 13rd ACM Symp. on Principles of Programming Languages"}
  3. @string{popl17="Proc. 17th ACM Symp. on Principles of Programming Languages"}
  4. @string{popl18="Proc. 18th ACM Symp. on Principles of Programming Languages"}
  5. @string{popl19="Proc. 19th ACM Symp. on Principles of Programming Languages"}
  6. @string{popl20="Proc. 20th ACM Symp. on Principles of Programming Languages"}
  7. @string{popl21="Proc. 21st ACM Symp. on Principles of Programming Languages"}
  8. @string{popl22="Proc. 22nd ACM Symp. on Principles of Programming Languages"}
  9. @string{popl23="Proc. 23rd ACM Symp. on Principles of Programming Languages"}
  10. @string{popl24="Proc. 24th ACM Symp. on Principles of Programming Languages"}
  11. @string{popl25="Proc. 25th ACM Symp. on Principles of Programming Languages"}
  12. @string{popl98="{ACM Symp. on Principles of Programming Languages 1998}"}
  13. @string{tapsoft95="TAPSOFT '95: Theory and Practice of Software Development"}
  14. @string{tapsoft97="TAPSOFT '97: Theory and Practice of Software Development"}
  15. @string{mscs="Mathematical Structures in Computer Science"}
  16. @string{sv="Springer Verlag"}
  17. @string{lncs="Lecture Notes in Computer Science"}
  18. @string{nh="North Holland"}
  19. @string{wic="Workshops in Computing"}
  20. @string{ai="Acta Informatica"}
  21. @string{mit="The MIT Press"}
  22. @string{csue="Department of Computer Science, University of Edinburgh"}
  23. @string{lfcs="Laboratory for Foundations of Computer Science, Comp. Sci. Dep.,
  24. Edinburgh Univ."}
  25. @string{jcss="Journal of Computer and System Sciences"}
  26. @string{beatcs="Bulletin of EATCS"}
  27. @string{tcs="Theoretical Computer Science"}
  28. @string{rtDTS="Recent Trends in Data Type Specification"}
  29. @string{caap96="CAAP '96 - 20th Coll. on Trees in Algebra and Computing"}
  30. @string{mfcs96="Mathematical Foundations of Computer Science 1996"}
  31. @string{alp96="ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming"}
  32. @string{acm="ACM Press"}
  33. @string{inria="INRIA"}
  34. @string{ecoop92="Proc. of ECOOP '92 European Conference
  35. on Object-Oriented Programming"}
  36. @string{ecoop99="ECOOP '99 - Object-Oriented Programming"}
  37. @string{ecoop2000="ECOOP 2000 - Object-Oriented Programming"}
  38. @string{ecoop2001="ECOOP 2001 - Object-Oriented Programming"}
  39. @string{disi="DISI, University of Genova"}
  40. @string{amast96="AMAST '96 - Algebraic Methodology and Software Technology 1996"}
  41. @string{amast97="AMAST '97 - Algebraic Methodology and Software
  42.           Technology 1997"}
  43. @string{aw="Addison-Wesley"}
  44. @string{tkde = "IEEE Transactions on Knowledge and Data
  45. Engineering"}
  46. @string{fac="Formal Aspects of Computing"}
  47. @string{acs="Applied Categorical Structures"}
  48. @string{jlsc="Journ. of Lisp and Symbolic Computation"}
  49. @string{wadt97="Proc. 12th International Workshop on
  50.         Algebraic Development Techniques, WADT '97, Selected Papers,
  51.         Tarquinia, Italy, June 1997"}
  52. @string{wadt98="Proc. 13th International Workshop on
  53.         Algebraic Development Techniques, WADT'98, Selected Papers,
  54.         Lisbon, Portugal, April 1998"}
  55. @string{wadt99="Proc. 14th International Workshop on
  56.         Algebraic Development Techniques, WADT'99, Selected Papers,
  57.         1999"}
  58. @string{jacm="Journ. ACM"}
  59. @string{lics99="Proc. 14th Ann. IEEE Symp. on Logic in Computer Science"}
  60. @string{esop00="ESOP 2000 - Programming Languages and Systems"}
  61. @string{ic="Information and Computation"}
  62. @string{pldi98 = "{PLDI'98 - ACM Conf. on Programming Language Design and
  63. Implementation}"}
  64. @string{pldi99 = "PLDI'99 - ACM Conf. on Programming Language Design and
  65. Implementation"}
  66. @string{icfp98="{Intl. Conf. on Functional Programming 1998}"}
  67. @string{impclg="Dept. of Computing - Imperial College of Science, Technology
  68. and Medicine"}
  69. @string{oopsla99="ACM Symp. on Object-Oriented Programming: Systems,
  70. Languages and
  71.         Applications 1999"}
  72. @string{tapos="Theory and Practice of Object Systems"}
  73. @string{fool8="The Eighth International Workshop on
  74.                         Foundations of Object-Oriented Languages"}
  75.  
  76. @InProceedings{AnconaEtAl93,
  77. author = "D. Ancona and E. Astesiano and E. Zucca",
  78. title ="Towards a classification of inheritance relations",
  79. booktitle = "Proc. ISCORE '93 (International Workshop on Information Systems - 
  80.          Correctness and Reusability)",
  81. year = 1993,
  82. address = "Institut f{\"u}r Informatik, Hannover",
  83. number = 01,
  84. series = "Informatik-Berichte",
  85. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/IWIS93.ps.gz",
  86. }
  87.  
  88. @InProceedings{AnconaZucca96,
  89. author = "D. Ancona and E. Zucca",
  90. title = "A Formal Framework for Modules with State",
  91. booktitle = amast96,
  92. series = lncs,
  93. address = "Berlin",
  94. year = 1996,
  95. publisher = sv,
  96. month = "July",
  97. editor = "M.Wirsing and M. Nivat",
  98. number = 1101,
  99. pages = "148-162",
  100. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/AMAST96.ps.gz",
  101. }
  102.  
  103. @InProceedings{AnconaZucca96a,
  104. author = "D. Ancona and E. Zucca",
  105. title = "An Algebraic Approach to Mixins and Modularity",
  106. editor = "M. Hanus and M. Rodr\'\i guez-Artalejo",
  107. booktitle = alp96,
  108. series = lncs,
  109. number = 1139,
  110. address = "Berlin",
  111. pages = "179-193",
  112. year = 1996,
  113. publisher = sv,
  114. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/ALP96.ps.gz",
  115. }
  116.  
  117. @Unpublished{Ancona96a,
  118. author = "D. Ancona",
  119. title = "PhD Thesis Proposal",
  120. year = 1996,
  121. note = "Avalaible at ftp://ftp.disi.unige.it/pub/person/AnconaD",
  122. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/PhDthesisProposal.ps.gz",
  123. }
  124.  
  125. @InProceedings{AnconaZucca97,
  126. author = "D. Ancona and E. Zucca",
  127. title = "Overriding operators in a mixin-based framework",
  128. editor = "H. Glaser and P. Hartel and H. Kuchen",
  129. booktitle = "Proc. PLILP '97 - 9th International Symposium on Programming
  130.   Languages, Implementations, Logics, and Programs",
  131. publisher = sv,
  132. series = lncs,
  133. number = 1292,
  134. pages = "47-61",
  135. month = "September",
  136. address = "Berlin",
  137. year = 1997,
  138. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/PLILP97.ps.gz",
  139. }
  140.  
  141. @InProceedings{AnconaZucca97a,
  142. author = "D. Ancona and E. Zucca",
  143. title = "An Algebra of Mixin Modules",
  144. editor = "F. Parisi-Presicce",
  145. booktitle = wadt97,
  146. publisher = sv,
  147. series = lncs,
  148. year = 1998,
  149. volume = 1376,
  150. pages = "92-106",
  151. address = "Berlin",
  152. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/WADT97.ps.gz",
  153. }
  154.  
  155. @PhDThesis{Ancona98,
  156. author = "D. Ancona",
  157. title = "Modular Formal Frameworks for Module Systems",
  158. school = "Dipartimento di Informatica, Universit\`a di Pisa",
  159. year = 1998,
  160. month = "March",
  161. number = "TD-1/98",          
  162. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/PhDthesis.ps.gz",
  163. }
  164.  
  165. @Article{AnconaZucca98,
  166. author = "D. Ancona and E. Zucca",
  167. title = "A theory of mixin modules: basic and derived operators",
  168. journal = mscs,
  169. volume = 8,
  170. number = 4,
  171. pages = "401-446",
  172. year = 1998,
  173. publisher = "Cambridge Univerity Press",
  174. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/MSCS96.ps.gz",
  175. }
  176.  
  177. @TechReport{AnconaZucca98a,
  178. author = "D. Ancona and E. Zucca",
  179. title = "A Theory of Modules with State",
  180. institution = disi,
  181. number = "DISI-TR-98-10",
  182. note = "Submitted for journal publication",
  183. year = 1998,
  184. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-98-10.ps.gz",
  185. }
  186.  
  187. @InProceedings{Ancona99,
  188. author = "D. Ancona",
  189. title = "An Algebraic Framework for Separate Type-Checking",
  190. editor = "J. Fiadeiro",
  191. booktitle = wadt98,
  192. publisher = sv,
  193. series = lncs,
  194. volume = 1589,
  195. year = 1999,
  196. pages = "1-15",
  197. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/WADT98.ps.gz",
  198. }
  199.           
  200. @InProceedings{AnconaEtAl99,
  201. author = "D. Ancona and M. Cerioli and E. Zucca",
  202. title = "A formal framework with late binding",
  203. booktitle = "Fundamental Approaches to Software Engineering -
  204. Second International Conference, FASE'99",
  205. editor = "J.-P. Finance",
  206. year = 1999,
  207. publisher = sv,
  208. series = lncs,
  209. volume = 1577,
  210. pages = "30-44",
  211. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/FASE99.ps.gz",
  212. }
  213.  
  214. @InProceedings{AnconaZucca99,
  215. author = "D. Ancona and E. Zucca",
  216. title = "A Primitive Calculus for Module Systems",
  217. booktitle = "Principles and Practice of Declarative Programming, 1999",
  218. editor = "G. Nadathur",
  219. publisher = sv,
  220. series = lncs,
  221. number = 1702,
  222. pages = "62-79",
  223. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/PPDP99.ps.gz",
  224. year = 1999,
  225. }
  226.  
  227. @TechReport{AnconaZucca99a,
  228. author = "D. Ancona and E. Zucca",
  229. title = "A theory of mixin modules: algebraic laws and reduction semantics",
  230. institution = disi,
  231. number = "DISI-TR-99-05",
  232. note = "Submitted for journal publication",
  233. year = 1999,
  234. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-99-05.ps.gz",
  235. }
  236.  
  237. @TechReport{AnconaZucca99b,
  238. author = "D. Ancona and E. Zucca",
  239. institution = disi,
  240. title = "A Calculus of Module Systems",
  241. number = "DISI-TR-99-09",
  242. month = "June",
  243. note = "Submitted for journal publication",
  244. year = 1999,
  245. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-99-09.ps.gz",
  246. }
  247.  
  248. @InProceedings{AnconaEtAl99b,
  249. author = "D. Ancona and G. Lagorio and E. Zucca",
  250. editor = "E. Bertino",
  251. title = "Jam - A Smooth Extension of {J}ava with Mixins",
  252. booktitle = ecoop2000,
  253. year = 2000,
  254. series = lncs,
  255. publisher = sv,
  256. number = 1850,
  257. pages = "154-178",
  258. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/ECOOP00.ps.gz",
  259. }
  260.  
  261. @InProceedings{AnconaEtAl99c,
  262. author = "D. Ancona and M. Cerioli and E. Zucca",
  263. title = "Extending {Casl} by Late Binding",
  264. booktitle = wadt99,
  265. editor = "D. Bert and C. Choppy",
  266. year = 2000,
  267. number = 1827,
  268. series = lncs,
  269. publisher = sv,
  270. pages = "53-72",
  271. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-99-14.ps.gz",
  272. }
  273.  
  274. @InProceedings{Ancona00,
  275. author = "D. Ancona",
  276. title = "{MIX(FL)}: a kernel language of mixin modules",
  277. number = 1816,
  278. editor = "T. Rus",
  279. booktitle = "AMAST 2000 - 
  280. Algebraic Methodology And Software Technology",
  281. publisher = sv,
  282. series = lncs,
  283. year = 2000,
  284. pages = "454-468",
  285. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-96-23.ps.gz",
  286. }
  287.  
  288. @TechReport{AnconaZucca00,
  289. author = "D. Ancona and E. Zucca",
  290. title = "True Modules for {J}ava Classes",
  291. institution = disi,
  292. number = "DISI-TR-00-12",
  293. note = "Submitted for publication",
  294. year = 2000,
  295. month = "August",
  296. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-00-12.ps.gz",
  297. }
  298.  
  299. @InProceedings{AnconaZucca01,
  300. author = "D. Ancona and E. Zucca",
  301. title = "True Modules for {J}ava Classes",
  302. booktitle = ecoop2001,
  303. series = lncs,
  304. publisher = sv,
  305. note = "To appear",
  306. year = 2001,
  307. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/ECOOP01.ps.gz",
  308. }
  309.  
  310. @TechReport{AnconaEtAl00,
  311. author = "D. Ancona and G. Lagorio and E. Zucca",
  312. title = "A Core calculus for {J}ava Exceptions",
  313. institution = disi,
  314. number = "DISI-TR-00-16",
  315. note = "Submitted for journal publication",
  316. year = 2000,
  317. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-00-16.ps.gz",
  318. }
  319.  
  320. @InProceedings{AnconaEtAl00b,
  321. editor = "S. Drossopoulou and S. Eisenbach and B. Jacobs and G. T. Leavens
  322.           and P. M{\"u}ller and A. Poetzsch-Heffter",
  323. author = "D. Ancona and G. Lagorio and E. Zucca",
  324. title = "A Core calculus for {J}ava Exceptions",
  325. booktitle = "Formal Techniques for Java Programs",
  326. publisher = "Fernuniversit{\"a}t Hagen",
  327. number = 269,
  328. note = "Technical report available from 
  329. http://www.fernuni-hagen.de/pi5/publications.html",
  330. year = 2000,
  331. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/ECOOPWSExceptions.ps.gz",
  332. }
  333.  
  334.  
  335. @InProceeding{AnconaEtAl00a,
  336. editor = "K. Fisher",
  337. author = "D. Ancona and S. Drossopoulou and E. Zucca",
  338. title = "Overloading and Inheritance in {J}ava",
  339. booktitle = fool8,
  340. note = "Electronic proceedings at
  341.  http://www.cs.williams.edu/~kim/FOOL/FOOL8.html",
  342. year = 2000,
  343. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/FOOL8.ps.gz",
  344. }
  345.  
  346. @InProceeding{AnconaEtAl00c,
  347. editor = "S. Drossopoulou and S. Eisenbach and B. Jacobs and G. T. Leavens
  348.           and P. M{\"u}ller and A. Poetzsch-Heffter",
  349. author = "D. Ancona and S. Drossopoulou and E. Zucca",
  350. title = "Overloading and Inheritance in {J}ava",
  351. booktitle = "Formal Techniques for Java Programs",
  352. publisher = "Fernuniversit{\"a}t Hagen",
  353. number = 269,
  354. note = "Technical report available from 
  355. http://www.fernuni-hagen.de/pi5/publications.html",
  356. year = 2000,
  357. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/ECOOPWSOverloading.ps.gz",
  358. }
  359.  
  360. @InProceedings{AnconaMascardi00,
  361. author = "D. Ancona and V. Mascardi",
  362. title = "Mixin-Based Modules for Logic Programming",
  363. booktitle = "Proceedings of APPIA-GULP-PRODE 2000. 
  364.          2000 Joint Conference on Declarative Programming. 
  365.          La Habana, Cuba",
  366. year = 2000,
  367. note = "To appear",
  368. url = "ftp://ftp.disi.unige.it/pub/person/AnconaD/AGP00.ps.gz",
  369. }
  370.