程序设计语言的形式语义 课后答案 (Glynn Winskel)

本人桂林电子科技大学，2013级计算机技术专业的大学生。诚心求程序设计语言的形式语义课后答案，GlynnWinskel版的，要有解题过程，尽量详尽完整。

的描述

• 有几章的思考题，不知道如何解答，主要是找不到解题的方向和解题格式，答案能给个提示就行了。
• 觉得自己复习等于没复习，你说高数吧，自己做了一下午的题，用的都是那道公式，考试考到了，把公式的正负号给弄乱了。专业课吧，看了那么长时间，还是没能把书看完，最后几章考的一点都不会，看的感觉都没考。昨天花了时间做了课后练习题，我懒，没对答案，妹的，竟然考到了，不会的还是不会。

此课后习题答案对应的教材信息如下：

书名：程序设计语言的形式语义
作者：GlynnWinskel 著 宋国新 译
出版社：机械工业出版社