A generic virtual machine inspired by Linear Logic