Meaning and Context in Computer Programs

被引：1
作者：
Videla, Alvaro [1 ]
机构：
[1] Microsoft Corp, Redmond, WA 98052 USA
来源：
COMMUNICATIONS OF THE ACM | 2022年 / 65卷 / 05期
关键词：
Compendex;
D O I：
10.1145/3498850
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article answers questions related to meaning and context in computer programs. Answering these questions is important to understanding how to share domain knowledge among programmers using the source code as the medium. Whether debugging or adding new features to a program, programmers must read the code to understand what the program is doing. From this article, the programmers must also know how the problem domain is represented in the code, so they can be certain that their changes to the source code won’t make the program work in unexpected ways.
引用
收藏
页码：56 / 58
页数：3
相关论文
共 50 条
  • [31] Challenges of Refactoring C Programs
    Univ. Illinois at Urbana-Champaign, 1304 W. Springfield Av., Urbana, IL 61801, United States
    Int. Workshop Princ. Softw. Evol. (IWSPE), (6-14):
  • [32] Holistic Maintenance and Reliability Programs
    Lindhjem, Erik
    Chemical Engineering (United States), 2024, 131 (10): : 27 - 30
  • [33] FACULTY EARLY RETIREMENT PROGRAMS
    HOPKINS, DSP
    OPERATIONS RESEARCH, 1974, 22 (03) : 455 - 467
  • [34] ENGINEERING MANAGEMENT - UNIVERSITY PROGRAMS
    Au, Tung
    Issues in Engineering: Journal of Professional Activities, Proceedings of the ASCE, 1980, 106 (02): : 81 - 87
  • [35] Monitoring programs using rewriting
    Kestrel Technology, NASA Ames Research Center, Moffett Field
    CA
    94035, United States
    不详
    CA
    94035, United States
    Proc. - Annu. Int. Conf. Autom. Softw. Eng., ASE, 1600, (135-143):
  • [36] Nesting in Ada programs is for the birds
    Clarke, Lori A.
    Wileden, Jack C.
    Wolf, Alexander L.
    ACM SIGPLAN Notices, 1980, 15 (11): : 139 - 145
  • [37] From the Home Computer to the Compact-Computer System.
    Blomeyer-Bartenstein, Hans Peter
    Elektronik Munchen, 1980, 29 (16): : 35 - 37
  • [38] Verification tools for transactional programs
    Cristal, Adrian
    Ozkan, Burcu Kulahcioglu
    Cohen, Ernie
    Kuru, Ismail
    Unsal, Osman
    Tasiran, Serdar
    Mutluergil, Suha Orhun
    Elmas, Tayfun
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8913 : 283 - 306
  • [39] Ontology-based context modeling for vehicle context-aware services
    Madkour, Mohcine
    Maach, Abdelilah
    Journal of Theoretical and Applied Information Technology, 2011, 34 (02) : 158 - 166
  • [40] Linear analysis and optimization of stream programs
    Lamb, Andrew A.
    Thies, William
    Amarasinghe, Saman
    Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, 1600, (12-25):
12345