The Linear Abstract Machine