摘要: ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common Lisp's unhygienic macros, which are used pervasively to eliminate repeated syntactic patterns. The lack of hygiene means that macros do not... 展开
作者 | Carl Eastlund Matthias Felleisen | ||
---|---|---|---|
作者单位 | |||
文集名称 | Trends in functional programming | ||
出版年 | 2011 | ||
出版社/出版地 | Springer / Heidelberg | ||
会议名称 | International Symposium on Trends in Functional Programming;International Symposium on Trends in Functional Programming | ||
开始页/总页数 | 84 / 18 | ||
会议日期/会议地点 | 2010 / Norman;Norman, Okla | 会议年/会议届次 | 2010 / 11th;11th |
中图分类号 | TP312-532 | ||
关键词 | hygiene means macros | ||
馆藏号 | N2012EMST0001688 |