DATA REIFICATION AND PROGRAM DECOMPOSITION

被引：0
|
作者：
ANDREWS, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 252卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：389 / 422
页数：34
相关论文
共 50 条
  • [1] THE ROLE OF DATA REIFICATION IN PROGRAM REFINEMENT - ORIGINS, SYNTHESIS AND APPRAISAL
    CLEMENT, T
    [J]. COMPUTER JOURNAL, 1992, 35 (05): : 451 - 459
  • [2] Reification of program points for visual execution
    Diehl, S
    Kerren, A
    [J]. VISSOFT 2002: FIRST INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEDINGS, 2002, : 100 - 109
  • [3] Sound and complete rules for data reification
    Jian Lü
    [J]. Science in China Series E: Technological Sciences, 1997, 40 : 379 - 386
  • [4] Sound and complete rules for data reification
    吕建
    [J]. Science China Technological Sciences, 1997, (04) : 379 - 386
  • [5] Sound and complete rules for data reification
    Lu, JA
    [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (04): : 379 - 386
  • [6] PROGRAM CONCEPTION AND PROOF FROM DATA DECOMPOSITION
    GUIHO, G
    GRESSE, C
    BIDOIT, M
    [J]. RAIRO-INFORMATIQUE-COMPUTER SCIENCE, 1980, 14 (04): : 319 - 351
  • [7] Sound and complete rules for data reification
    Ju, Jian
    [J]. Science in China, Series E: Technological Sciences, 40 (04): : 7 - 386
  • [8] WHERE IS "MY" DATA? PRIVACY AND REIFICATION IN THE DIGITAL AGE
    Esposito, Alessandro
    [J]. ETICA & POLITICA, 2021, 23 (01): : 491 - 510
  • [9] Relationalization of provenance data in complex RDF reification nodes
    Sunitha Ramanujam
    Anubha Gupta
    Latifur Khan
    Steven Seida
    Bhavani Thuraisingham
    [J]. Electronic Commerce Research, 2010, 10 : 389 - 421
  • [10] Relationalization of provenance data in complex RDF reification nodes
    Ramanujam, Sunitha
    Gupta, Anubha
    Khan, Latifur
    Seida, Steven
    Thuraisingham, Bhavani
    [J]. ELECTRONIC COMMERCE RESEARCH, 2010, 10 (3-4) : 389 - 421
12345