Henrik Nässén

发表

Optimizing the SICStus Prolog virtual machine instruction set

Henrik Nässén, 2001 .

Instruction merging and specialization in the SICStus Prolog virtual machine

Mats Carlsson, Konstantinos Sagonas, Henrik Nässén, 2001, PPDP '01.