01249nam2-2200385li-450 99000020861020331620180312154847.03-540-65968-40020861USA010020861(ALEPH)000020861USA01002086120001109d1999----km-y0itay0103----baengGWCompiling natural semanticsMikael PetterssonBerlin [etc.]Springer-Verlagcopyr. 1999XVI, 240 p.ill.24 cmLecture notes in computer science154900100202642001Lecture notes in computer sciencelinguaggi di programmazionesemantica00513Linguaggi di programmazionePettersson,Mikael754249Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000208610203316001 LNCS (1549)002363200100104213BKSCI1999052920001110USA011714ALANDI9020010208USA01103620020403USA011629PATRY9020040406USA011615Compiling natural semantics1517624UNISA