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 条
  • [31] CORRECTNESS OF SEMANTIC INTEGRITY CHECKING IN DATABASE-MANAGEMENT SYSTEMS
    BERTINO, E
    MUSTO, D
    ACTA INFORMATICA, 1988, 26 (1-2) : 25 - 57
  • [32] A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
    T'ranquilli, Paolo
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 246 - 261
  • [33] Towards the correctness and consistency of update semantics in semantic database schema
    Univ of Rhode Island, Kingston, United States
    IEEE Trans Knowl Data Eng, 3 (503-507):
  • [34] Towards the correctness and consistency of update semantics in semantic database schema
    Peckham, J
    Maryanski, F
    Demurjian, SA
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (03) : 503 - 507
  • [35] Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
    Erhard, Julian
    Bentele, Manuel
    Heizmann, Matthias
    Klumpp, Dominik
    Saan, Simmo
    Schuessele, Frank
    Schwarz, Michael
    Seidl, Helmut
    Tilscher, Sarah
    Vojdani, Vesal
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2025, PT I, 2025, 15529 : 74 - 100
  • [36] Ensuring the semantic correctness of a BAUML artifact-centric BPM
    Estanol, Montserrat
    Sancho, Maria-Ribera
    Teniente, Ernest
    INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 93 : 147 - 162
  • [37] CORRECTNESS VERIFICATION - ALTERNATIVE TO STRUCTURAL SOFTWARE TESTING
    DYER, M
    KOUCHAKDJIAN, A
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (01) : 53 - 59
  • [38] Semantic Shape Editing with Parametric Implicit Templates
    Kusupati, Uday
    Gaillard, Mathieu
    Thiery, Jean-Marc
    Kaiser, Adrien
    PROCEEDINGS OF SIGGRAPH 2024 CONFERENCE PAPERS, 2024,
  • [39] Semantic Cage Generation for FE Mesh Editing
    Xian, Chuhua
    Zhang, Tianming
    Gao, Shuming
    2013 INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS (CAD/GRAPHICS), 2013, : 220 - 227
  • [40] Facial Attribute Editing using Semantic Segmentation
    Chen, Peng
    Xiao, Qi
    Xu, Jian
    Dong, Xiaoli
    Sun, Linjun
    2019 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE BIG DATA AND INTELLIGENT SYSTEMS (HPBD&IS), 2019, : 97 - 103