%0 Journal Article
%T 复合抽象数据类型结构化规约的形式语义及其模型
%A 蔡家楣
%J 计算机科学
%D 1998
%I 
%X 本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ＥＣＣ扩展构造逻辑和函数式语言两种方式下的模型。
%K 抽象数据类型
%K 构造型说明法
%K 形式语义
%K 数据结构
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBC713FA3508C8FB709C814FE8E75308&yid=8CAA3A429E3EA654&vid=C5154311167311FE&iid=38B194292C032A66&sid=5D311CA918CA9A03&eid=59906B3B2830C2C5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0