附件:设置1:设置2:设置3:本书介绍了描述系统与语言的规约的基本原理和技术。首先讲授一些高级的原理和技术: 分层与组合、指标与计算以及构型 ; 然后讲授符号学建模的基本原理和技术: 语用、语义以及系统和语言的句法 ; 最后介绍了开发函数式, 命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。摘要:有书目 (第751-777页) 和索引
附注提要
本书介绍了描述系统与语言的规约的基本原理和技术。首先讲授一些高级的原理和技术: 分层与组合、指标与计算以及构型 ; 然后讲授符号学建模的基本原理和技术: 语用、语义以及系统和语言的句法 ; 最后介绍了开发函数式, 命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。