USE OF THE FORMAL LANGUAGES THEORY METHODS FOR MULTI-LANGUAGES COMPUTERS DEVELOPMENT

被引：0
|
作者：
NAUMOV, BN
ZONIS, VS
KABALEVSKIJ, AN
RODIONOV, VV
SHUMEY, AS
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1979年 / 02期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：83 / 90
页数：8
相关论文
共 50 条
  • [41] Data Structures, from theory to bits Using theory of formal languages to analyze structured data
    Nothen, Eric
    de Fatima Mastroianni, Maria
    [J]. IEEE CACIDI 2016 - IEEE CONFERENCE ON COMPUTER SCIENCES, 2016,
  • [42] The use of hardware description languages in the development of microelectromechanical systems
    Gibson, D
    Carter, H
    Purdy, C
    [J]. ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, 2001, 28 (02) : 173 - 180
  • [43] The Use of Hardware Description Languages in the Development of Microelectromechanical Systems
    Dennis Gibson
    Hal Carter
    Carla Purdy
    [J]. Analog Integrated Circuits and Signal Processing, 2001, 28 : 173 - 180
  • [44] PROPOSAL FOR USE OF SYNTAX-ORIENTED METHODS IN PROGRAMMING LANGUAGES
    MAURER, H
    STUCKY, W
    [J]. ANGEWANDTE INFORMATIK, 1976, (05): : 189 - 195
  • [45] From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages
    Schaetz, Bernhard
    [J]. 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 454 - 455
  • [46] Introduction to the Special issue on the Techniques of Programming Languages, Logic, and Formal Methods in Quantum Computing
    Wu, Xiaodi
    [J]. ACM TRANSACTIONS ON QUANTUM COMPUTING, 2021, 2 (04):
  • [47] Current trends in the development of interactive methods in teaching foreign languages
    Spiridonova, Natalia
    Fersman, Nataliia
    Akupova, Viktoria
    [J]. INTERNATIONAL SCIENTIFIC CONFERENCE DIGITAL TRANSFORMATION ON MANUFACTURING, INFRASTRUCTURE AND SERVICE, 2020, 940
  • [48] Development of multi-lingual spoken corpora of Indian languages
    Samudravijaya, K.
    [J]. Chinese Spoken Language Processing, Proceedings, 2006, 4274 : 792 - 801
  • [49] Development Use Cases for Semantics-Driven Modeling Languages
    Broy, Manfred
    Rumpe, Bernhard
    [J]. COMMUNICATIONS OF THE ACM, 2023, 66 (05) : 62 - 71
  • [50] Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
    James, Phillip
    Roggenbach, Markus
    [J]. MATHEMATICS IN COMPUTER SCIENCE, 2014, 8 (01) : 11 - 38
12345