本书中的词汇均是SSAT考试中的核心词汇，选自历年真题及各类官方出版物。每个词条都提供该单词在真题中的词性和中文释义；“变”一栏提供该单词的相关变体，便于考生对比记忆；“记”一栏采用联想、词根、词缀、谐音等各种方法帮助考生记忆单词；“考”一栏将该单词在SSAT考试中的“同义”“类比”词对挑出来，让考生可以更加有目的性地去记忆。每个词条都按照星级标注了单词的难易程度和重要程度，让考生做到有的放矢。本书既可以作为SSAT考生的自学用书，也可以作为各类SSAT课程的配套教材。
![语法中的功能限制：非作格-非宾格对立 [美]久野暲（Susumu Kuno） 著](http://img3m3.ddimg.cn/83/14/11947810133-1_l.jpg)
本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。
