FORMALIZATION IN PROGRAMMING ENVIRONMENTS

被引：0
|
作者：
GOGUEN, J
MORICONI, M
机构：
来源：
COMPUTER | 1987年 / 20卷 / 11期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：55 / 64
页数：10
相关论文
共 50 条
  • [1] Formalization and 'literate' programming
    Anderson, H
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 39 - 44
  • [2] Detecting and repairing anomalous evolutions in noisy environments Logic programming formalization and complexity results
    Angiulli, Fabrizio
    Greco, Gianluigi
    Palopoli, Luigi
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2010, 60 (3-4) : 179 - 228
  • [3] Detecting and repairing anomalous evolutions in noisy environments: Logic programming formalization and complexity results
    Angiulli, Fabrizio
    Greco, Gianluigi
    Palopoli, Luigi
    [J]. ARTIFICIAL INTELLIGENCE IN THEORY AND PRACTICE, 2006, 217 : 41 - +
  • [4] NEGATION IN LOGIC PROGRAMMING - A FORMALIZATION IN CONSTRUCTIVE LOGIC
    BRY, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 474 : 30 - 46
  • [5] FORMALIZATION OF PROGRAMMING LANGUAGE SEMANTICS .2.
    FINANCE, JP
    [J]. REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1976, 10 (12): : 5 - 21
  • [6] PROPOSAL FOR A NATURAL FORMALIZATION OF FUNCTIONAL PROGRAMMING CONCEPTS
    BELLOT, P
    SARNI, D
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (03): : 341 - 360
  • [7] Supporting incremental formalization in collaborative learning environments
    Karacapilidis, Nikos
    Tzagarakis, Manolis
    [J]. CREATING NEW LEARNING EXPERIENCES ON A GLOBAL SCALE, PROCEEDINGS, 2007, 4753 : 127 - +
  • [8] A hierarchical approach to formalization of distributed computing environments
    Kurkovsky, A
    [J]. ICWN'04 & PCC'04, VOLS, 1 AND 2, PROCEEDINGS, 2004, : 733 - 738
  • [9] PROGRAMMING ENVIRONMENTS
    BARSTOW, DR
    SHROBE, HE
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (05) : 449 - 450
  • [10] PROGRAMMING ENVIRONMENTS
    KLINT, P
    REPS, T
    SNELTING, G
    [J]. SIGPLAN NOTICES, 1992, 27 (11): : 90 - 96
12345