基于类型系统的完整性信息流控制

王立斌

王立斌. 基于类型系统的完整性信息流控制[J]. 华南师范大学学报（自然科学版）, 2006, (3): 42.
引用本文: 王立斌. 基于类型系统的完整性信息流控制[J]. 华南师范大学学报（自然科学版）, 2006, (3): 42.
shu

基于类型系统的完整性信息流控制

摘要

    摘要
    • HTML全文
    • 参考文献(1)
    • 相关文章
    • 施引文献
    • 资源附件(0)
计量
  • 文章访问数:  1056
  • HTML全文浏览量:  91
  • PDF下载量:  714
  • 被引次数: 0
出版历程
  • 刊出日期:  2006-08-24

目录

摘要
HTML全文
    参考文献(1)
    相关文章
    施引文献
    资源附件(0)

    /

    返回文章
    返回

    版权所有 © 华南师范大学学报(自然科学版)编辑部  粤ICP备05008875号-1

    通信地址： 广州市天河区石牌华南师范大学学报编辑部　邮政编码：510631 电话：+86 20 85217649

    本系统由 北京仁和汇智信息技术有限公司 开发  百度统计