Automatic compilation of logical specifications into efficient programs: Donald Cohen: Information Sciences Institute, Marina del Rev, November 1986

作者：

摘要

论文关键词：

论文评审过程：Available online 19 May 2003.

论文官网地址：https://doi.org/10.1016/0167-9236(87)90111-4