01328nam2-2200385li-450 99000020753020331620180312154615.03-540-66710-50020753USA010020753(ALEPH)000020753USA01002075320001109d1999----km-y0itay0103----baengGWPartial evaluationpractice and theoryDIKU 1998 Intenational Summer SchoolCopenhagen, Denmark, June 29 - July 10, 1998John Hatcliff ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1999VIII, 432 p.ill.24 cmLecture notes in computer science170600100202642001Lecture notes in computer scienceHatcliff,JohnSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207530203316001 LNCS (1706)002439300100100935BKSCI1999010420001110USA011714ALANDI9020010209USA011737ALANDI9020010209USA011741ALANDI9020010209USA01174420020403USA011628PATRY9020040406USA011615Partial evaluation1487633UNISA