01308nam--2200385---450-99000300022020331620071025151335.03-540-25435-8000300022USA01000300022(ALEPH)000300022USA0100030002220071025d2005----km-y0itay0103----baengDEa|||||||001yyProgramming languages and systems14th European Symposium on Programming, ESOP 2005Edinburgh, UK, April 4-8, 2005proceedingsMooly Sagiv(ed.)Berlin [etc.]Springer[c2005]XIII, 438 p.ill.24 cm.Lecture notes in computer science34442001Lecture notes in computer science34442001001-------2001Linguaggi di ProgrammazioneCongressiEdinburgh2005005.1SAGIV,MoolyEuropean symposium on Programming, ESOP 2005<14. ;2005 ;Edinburgh>598952ITsalbcISBD990003000220203316001 LNCS 344431873/CBS001 LNCS00112500BKSCISENATORE9020071025USA011513Programming languages and systems1023899UNISA