Static type-checking for programs developed on the platform 1C:Enterprise

被引：0
|
作者：
Irkutsk State University, 1, K. Marx st., Irkutsk [1 ]
664003, Russia
机构：
来源：
CEUR Workshop Proc. | / 101-111期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
4th Scientific-Practical Workshop Information Technologies: Algorithms, Models, Systems, ITAMS 2021
中图分类号：
学科分类号：
摘要：
High level languages
引用
收藏
相关论文
共 50 条
  • [1] Static type-checking of Datalog with ontologies
    Henriksson, J
    Maluszynski, J
    PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, PROCEEDINGS, 2004, 3208 : 76 - 89
  • [2] Static Type Checking of Model Transformation Programs
    Ujhelyi, Zoltan
    GRAPH TRANSFORMATIONS, 2010, 6372 : 413 - 415
  • [3] Securing C programs by dynamic type checking
    Shen, Haibin
    Wang, Jimin
    Ping, Lingdi
    Sun, Kang
    INFORMATION SECURITY PRACTICE AND EXPERIENCE, PROCEEDINGS, 2006, 3903 : 343 - 354
  • [4] Application solution for preparing business processes information for the 1C: Enterprise platform using ERwin process modeller
    Kapulin, D. V.
    Russkikh, P. A.
    Moor, I. A.
    INTERNATIONAL CONFERENCE: INFORMATION TECHNOLOGIES IN BUSINESS AND INDUSTRY, 2019, 1333
  • [5] A type system for static and dynamic checking of C++ pointers
    Della Penna, G
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2005, 31 (02) : 71 - 101
  • [6] Precise and efficient static array bound checking for large embedded C programs
    Venet, A
    Brat, G
    ACM SIGPLAN NOTICES, 2004, 39 (06) : 231 - 242
  • [7] Carraybound: Static Array Bounds Checking in C Programs Based on Taint Analysis
    Gao, Fengjuan
    Chen, Tianjiao
    Wang, Yu
    Situ, Lingyun
    Wang, Linzhang
    Li, Xuandong
    8TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE (INTERNETWARE 2016), 2016, : 81 - 90
  • [8] PRODUCTIVE SYSTEM FOR SELECTING SOFTWARE PRODUCTS OF THE SYSTEM "1C:ENTERPRISE 8"
    Adueva, T. V.
    Akhaev, A. V.
    KHodashinskiy, I. A.
    BIZNES INFORMATIKA-BUSINESS INFORMATICS, 2012, 19 (01): : 55 - 61
  • [9] Application of modern messengers for automation of business processes based on 1C: Enterprise
    Stepanova, Anna E.
    Tcyguleva, Kseniya, V
    Silnov, Dmitry S.
    2020 IEEE 14TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT2020), 2020,
  • [10] Integration of ICQ New into Business Processes Implemented on the Basis of the 1C: Enterprise
    Menshchikova, Alina A.
    Stepanova, Anna E.
    PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 541 - 544
12345