版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
I S B N:(纸本) 9789810233846
出 版 社:World Scientific Publishing Company
出 版 年:1998年
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation.