缩写	全称	中文释义
WOID	Workshop on Optimization and Implementation of Declarative Programming Languages	声明性编程语言的优化和实现讲习班