Abstract interpretations & abstract machines : contributions to a methodology for the implementation of logic programs


Ulf Nilsson
Bok Engelsk 1992

Detaljer

Bibliotek som har denne