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 条
  • [41] Developmental regulation of the L-type calcium channel α1C subunit expression in heart
    Lei Leu
    Donald S. O'Hara
    Steven E. Cala
    Indu Poornima
    Ronald N. Hines
    James D. Marsh
    Molecular and Cellular Biochemistry, 2000, 205 : 101 - 109
  • [42] Bounded Model Checking of C plus plus Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)
    Monteiro, Felipe R.
    Garcia, Mario A. P.
    Cordeiro, Lucas C.
    de Lima Filho, Eddie B.
    PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 954 - 954
  • [43] Parathyroid cells express functional alpha 1C subunit of L-type calcium channel (CACNA1C)
    Matsuba, D
    Suzuki, A
    Suda, N
    Adachi-Akahane, S
    Yokoyama, K
    Iida, R
    Ohkido, I
    Hara, S
    Urashima, M
    Takeyama, H
    JOURNAL OF PHARMACOLOGICAL SCIENCES, 2005, 97 : 92P - 92P
  • [44] Head-to-Tail interaction in the scaffold protein Harmonin, underlying Usher syndrome Type 1C (USH1c)
    Bahloul, A.
    Pepermans, E.
    Durand, D.
    Raynal, B.
    Wolff, N.
    Nouaille, S.
    England, P.
    Duquerroy, S.
    Vachette, P.
    Petit, C.
    MOLECULAR BIOLOGY OF THE CELL, 2013, 24
  • [45] Polymorphisms in exons 1B and 1C of the type I interleukin-1 receptor gene in patients with endometriosis
    D'Amora, Paulo
    Sato, Helio
    Girao, Manoel J. B. C.
    Silva, Ismael D. C. G.
    Schor, Eduardo
    AMERICAN JOURNAL OF REPRODUCTIVE IMMUNOLOGY, 2006, 56 (03) : 178 - 184
  • [46] Gene therapy restores auditory and vestibular function in a mouse model of Usher syndrome type 1c
    Pan, Bifeng
    Askew, Charles
    Galvin, Alice
    Heman-Ackah, Selena
    Asai, Yukako
    Indzhykulian, Artur A.
    Jodelka, Francine M.
    Hastings, Michelle L.
    Lentz, Jennifer J.
    Vandenberghe, Luk H.
    Holt, Jeffrey R.
    Geleoc, Gwenaelle S.
    NATURE BIOTECHNOLOGY, 2017, 35 (03) : 264 - +
  • [47] HbA(1c) as a marker to reduce lower limb amputation in patients with type 2 diabetes mellitus
    Mohieldein, Abdelmarouf Hassan
    Abdelkarim, Abaker Mohamed
    Osman, Fatin Mohammed
    Abdallah, Elrasheed Ahmed
    Ali, Mahadi Mohammed
    SUDAN JOURNAL OF MEDICAL SCIENCES, 2008, 3 (03): : 221 - +
  • [48] A NOVEL CASE OF AUTOSOMAL RECESSIVE CUTIS LAXA TYPE 1C: CASE REPORT AND LITERATURE REVIEW
    Melo, Mafalda S.
    Ferreira, Susana L.
    Nunes, Sofia
    Sacras, Maria
    Abreu, Fatima
    Rito, Tiago
    Almeida, Salome
    Kay, Teresa
    Antunes, Diana
    MEDICINE, 2021, 100 (04)
  • [49] Translocation and function of myosin 1b and myosin 1c during exocytosis in alveolar type II cells
    Kittelberger, N.
    Breunig, M.
    Martin, R.
    Knoelker, H. -J.
    Dietl, P.
    Miklavc, P.
    ACTA PHYSIOLOGICA, 2015, 213 : 150 - 151
  • [50] Differential roles of myosin 1c and myosin 1b during exocytosis in alveolar type II cells
    Kittelberger, N.
    Breunig, M.
    Martin, R.
    Knoelker, H.
    Dietl, P.
    Miklavc, P.
    MOLECULAR BIOLOGY OF THE CELL, 2014, 25