注重体验与质量的电子书资源下载网站
分类于: 云计算&大数据 设计
简介
Semantics Engineering with PLT Redex 豆 0.0分
资源最后更新于 2020-10-28 12:16:10
作者:Matthias Felleisen
出版社:The MIT Press
出版日期:2009-01
ISBN:9780262062756
文件格式: pdf
标签: 程序设计语言 计算机科学 PLT 编程语言理论 类型系统 函数式语言 Programming FP
简介· · · · · ·
This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or profess...