共 50 条
- [45] LAM: Another prolog abstract machine 1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY, 1996, : 310 - 313
- [47] Correct abstract machine for safe ambients COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2005, 3454 : 17 - 32
- [50] A verified abstract machine for functional coroutines ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (212): : 1 - 17