论文部分内容阅读
Ｓｍａｌｋｔａｌｋ语言的概念和语法结构简洁，程序易于理解，但它的某些特性（如动态绑定、动态类型）仍然对Ｓｍａｌｌｔａｌｋ程序的理解构成障碍，而且随着应用系统复杂性增大以及类库的增长，对Ｓｍａｌｌｔａｌｋ程序理解的难度也随之增大，对此，作者介绍了一个Ｓｍａｌｌｔａｋｌ程序辅助理解系统ＢＤＣｏｍ－ＳＴ，它在分析Ｓｍａｌｌｔａｌｋ程序的基础上，利用类型推导技术来解决动态行为的理解问题，该系统可从源程序逆