SEMANTIC CORRECTNESS OF STRUCTURAL EDITING

被引:0
|
作者
GRUZLEWSKI, T [1 ]
WEISS, Z [1 ]
机构
[1] UNIV WARSAW,INST INFORMAT,PL-00913 WARSAW 59,POLAND
来源
SIGPLAN NOTICES | 1991年 / 26卷 / 08期
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Typical structural editor provides for syntax correctness of an edited text. In this paper some problems are discussed that arise when the semantic analysis is to be included in the tasks of a structural editor. The solution to these problems, already implemented in Modelang editor, is presented. It is based on the concept of multistage editing operations and application of default values. Several examples are given to show how the editor should deal with basic Pascal constructs in order to preserve full semantic accuracy. Additionally, two solutions are proposed to the problem of name maintenance within the structural editor. Structural editing versus conditional compilation is also considered.
引用
收藏
页码:111 / 120
页数:10
相关论文
共 50 条
  • [1] Is semantic correctness descriptive?
    Honkasalo, Aleksi
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2022, 88 (05): : 899 - 907
  • [2] SEMANTIC MODELS FOR TOTAL CORRECTNESS AND FAIRNESS
    MAIN, MG
    BLACK, DL
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 247 - 270
  • [3] Semantic Information and the Correctness Theory of Truth
    Luciano Floridi
    Erkenntnis, 2011, 74 : 147 - 175
  • [4] Semantic Information and the Correctness Theory of Truth
    Floridi, Luciano
    ERKENNTNIS, 2011, 74 (02) : 147 - 175
  • [5] Diagnosing correctness of semantic workflow models
    Borrego, Diana
    Eshuis, Rik
    Teresa Gomez-Lopez, Maria
    Gasca, Rafael M.
    DATA & KNOWLEDGE ENGINEERING, 2013, 87 : 167 - 184
  • [6] Ensuring the semantic correctness of complex regions
    McKenney, Mark
    Pauly, Alejandro
    Praing, Reasey
    Schneider, Markus
    ADVANCES IN CONCEPTUAL MODELING - FOUNDATIONS AND APPLICATIONS, 2007, 4802 : 409 - 418
  • [7] SEMANTIC MODELS FOR TOTAL CORRECTNESS AND FAIRNESS
    MAIN, MG
    BLACK, DL
    THEORETICAL COMPUTER SCIENCE, 1993, 107 (02) : 305 - 332
  • [8] Semantic Query Optimization: Correctness and Control
    Chippimolchai, Pongtawat
    Akama, Kiyoshi
    Wuwongse, Vilas
    JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2006, 10 (03) : 270 - 280
  • [9] Preserving Syntactic Correctness While Editing Mathematical Formulas
    van der Hoeven, Joris
    Lecerf, Gregoire
    Raux, Denis
    APPLICATIONS OF COMPUTER ALGEBRA, 2017, 198 : 459 - 471
  • [10] Semantic correctness in adaptive process management systems
    Ly, Linh Thao
    Rinderle, Stefanie
    Dadam, Peter
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 193 - 208