PROGRAM SIMPLIFICATION VIA SYMBOLIC INTERPRETATION

被引：0
|
作者：
GHEZZI, C
MANDRIOLI, D
TECCHIO, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 206卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：116 / 128
页数：13
相关论文
共 50 条
  • [1] Symbolic Computation via Program Transformation
    Lauko, Henrich
    Rockai, Petr
    Barnat, Jiri
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2018, 2018, 11187 : 313 - 332
  • [2] A Program Simplification Method for Generating Test Input Values Using Symbolic Execution
    Soga, Ryo
    Yonemitsu, Tetsuya
    Inagaki, Mitsuo
    Fujisaki, Yasushi
    Sugou, Hiroo
    Kanuka, Hideyuki
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 507 - 508
  • [3] Program Analysis via Efficient Symbolic Abstraction
    Yao, Peisen
    Shi, Qingkai
    Huang, Heqing
    Zhang, Charles
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [4] Algorithm for estimating error of symbolic simplification
    Kolka, Zdenek
    Biolkova, Viera
    Dobes, Josef
    Horak, Martin
    2020 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE COMMUNICATION AND NETWORK SECURITY (CSCNS2020), 2021, 336
  • [5] Topological Symbolic Simplification for Analog Design
    Hu, Hanbin
    Shi, Guoyong
    Tai, Andy
    Lee, Frank
    2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2015, : 2644 - 2647
  • [6] Automated simplification of large symbolic expressions
    Bailey, David H.
    Borwein, Jonathan M.
    Kaiser, Alexander D.
    JOURNAL OF SYMBOLIC COMPUTATION, 2014, 60 : 120 - 136
  • [7] SYMBOLIC INTERPRETATION
    TISSOT, G
    CURRENT ANTHROPOLOGY, 1977, 18 (01) : 111 - 111
  • [8] SYMBOLIC INTERPRETATION
    JARVIE, IC
    CURRENT ANTHROPOLOGY, 1977, 18 (03) : 546 - 547
  • [9] Singularity structure simplification for hex mesh via integer linear program
    Duan, Junyi
    Zheng, Xiaopeng
    Lei, Na
    Luo, Zhongxuan
    COMPUTER-AIDED DESIGN, 2023, 168
  • [10] Simplification of symbolic-numerical interval expressions
    Bulgarian Acad of Sciences, Sofia, Bulgaria
    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, : 207 - 214
12345