全部 标题 作者 关键词 摘要
Keywords: 面向对象程序设计 形式定义和理论 指称语义
Full-Text Cite this paper Add to My Lib
Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
