Specifying generic Java programs: two case studies

Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko. Specifying generic Java programs: two case studies. In Claus Brabrand, Pierre-Etienne Moreau, editors, Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS. pages 8, ACM, 2010. [doi]

Abstract

Abstract is missing.