Static Type Checking of Model Transformation Programs

被引：0
|
作者：
Ujhelyi, Zoltan [1 ]
机构：
[1] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, H-1117 Budapest, Hungary
来源：
GRAPH TRANSFORMATIONS | 2010年 / 6372卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：413 / 415
页数：3
相关论文
共 50 条
  • [1] Model checking of concurrent programs with static analysis of field accesses
    Parizek, Pavel
    Lhotak, Ondrej
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 98 : 735 - 763
  • [2] Static checking of security related behavior model for multithreaded java programs
    College of Computer Science and Technology, Jilin University, Changchun 130012, China
    Jisuanji Xuebao, 2009, 9 (1856-1868):
  • [3] Model Checking Programs
    Willem Visser
    Klaus Havelund
    Guillaume Brat
    SeungJoon Park
    Flavio Lerda
    Automated Software Engineering, 2003, 10 (2) : 203 - 232
  • [4] Model checking programs
    Visser, W
    Havelund, K
    Brat, G
    Park, SJ
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 3 - 11
  • [5] STATIC TYPE CHECKING OF MULTIMETHODS
    AGRAWAL, R
    DEMICHIEL, LG
    LINDSAY, BG
    SIGPLAN NOTICES, 1991, 26 (11): : 113 - 128
  • [6] Static type-checking for programs developed on the platform 1C:Enterprise
    Irkutsk State University, 1, K. Marx st., Irkutsk
    664003, Russia
    CEUR Workshop Proc., (101-111):
  • [7] Efficient Verification of Industrial PLC-Programs using Model Checking and Static Analysis
    Biallas, Sebastian
    Kowalewski, Stefan
    Schlich, Bastian
    AUTOMATION 2011, 2011, 213 : 67 - 72
  • [8] Type inference and strong static type checking for Promela
    Donaldson, Alastair F.
    Gay, Simon J.
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (11) : 1165 - 1191
  • [9] AN ALGORITHM FOR CHECKING INCORRECTNESS OF A RULE IN EQUIVALENT TRANSFORMATION PROGRAMS
    Mabuchi, Hiroshi
    Miyajima, Shinya
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2015, 11 (01): : 327 - 347
  • [10] Static Analysis versus Model Checking
    Nielson, Flemming
    ERCIM NEWS, 2010, (83): : 6 - 6
12345