书目详细信息 : PROCEEEDING OF ACM SIGPLAN-SIGOPS INTERFACE MEETIN