#64 Abstract Interpretation: Introduction & #66 Galois Connections - 课程笔记
业余民科,阅读笔记,拾人牙慧前置知识OperationalsemanticsTAPLOpertionalsemanticsspecifiesthebehaviorofaprogramminglanguagebydefiningasimpleabstractmachineforit.Thismachineis“abstract”inthesensethatitusesthetermsofthelan