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...