版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:Univ. of California Berkeley
出 版 物:《COMMUNICATIONS OF THE ACM》 (美国计算机学会通讯)
年 卷 期:1971年第14卷第10期
页 面:617-+页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:data structures graph implementation programming language semantic formalism
摘 要:Presents a notation for describing the semantics of data structures. Implementation facility which could be a part of a programming language; Expression of the semantics of an algorithm; Efficiency of the structures.