MacroC and Macrofort: C and Fortran code generation within Maple

被引：0
|
作者：
Capolsini, P [1 ]
Gomez, C [1 ]
机构：
[1] INRIA,ROCQUENCOURT,FRANCE
来源：
MAPLETECH | 1996年 / 3卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：14 / 19
页数：6
相关论文
共 50 条
  • [41] Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
    Wang, Shuling
    Ji, Zekun
    Xu, Xiong
    Zhan, Bohua
    Gao, Qiang
    Zhan, Naijun
    [J]. PROCEEDINGS 15TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, ICCPS 2024, 2024, : 123 - 134
  • [42] Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation
    Mauro, Gioacchino
    Thimbleby, Harold
    Domenici, Andrea
    Bernardeschi, Cinzia
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (240): : 53 - 66
  • [43] UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments
    Ivanov, Dmitry
    Babushkin, Alexey
    Grigoryev, Saveliy
    Iatchenii, Pavel
    Kalugin, Vladislav
    Kulikov, Egor
    Kulikov, Egor
    Misonizhnik, Aleksandr
    Mordvinov, Dmitry
    Morozov, Sergey
    Naumenko, Olga
    Pleshakov, Alexey
    Ponomarev, Pavel
    Shmidt, Svetlana
    Utkin, Alexey
    Volodin, Vadim
    Volynets, Arseniy
    [J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 380 - 384
  • [44] Runtime code generation in C++ as a foundation for domain-specific optimisation
    Beckmann, O
    Houghton, A
    Mellor, M
    Kelly, PHJ
    [J]. DOMAIN-SPECIFIC PROGRAM GENERATION, 2003, 3016 : 291 - 306
  • [45] AUTOMATED CODE GENERATION OF STREAMING APPLICATIONS FOR C6000 MULTICORE DSPS
    Odendahl, Maximilian
    Sheng, Weihua
    Aguilar, Miguel
    Leupers, Rainer
    Ascheid, Gerd
    [J]. 2012 5TH EUROPEAN DSP EDUCATION AND RESEARCH CONFERENCE (EDERC), 2012, : 221 - 224
  • [46] Automatic generation of the C# code for security protocols verified with casper/FDR
    Jeon, CW
    Kim, IG
    Choi, JY
    [J]. AINA 2005: 19th International Conference on Advanced Information Networking and Applications, Vol 2, 2005, : 507 - 510
  • [47] C Code Generation Applied to Nonlinear Model Predictive Control for an Artificial Pancreas
    Boiroux, Dimitri
    Jorgensen, John Bagterp
    [J]. 2017 21ST INTERNATIONAL CONFERENCE ON PROCESS CONTROL (PC), 2017, : 327 - 332
  • [48] A High-Security C Language Code Generation Method for Synchronization Language
    Wang Bohan
    Ke Wenjun
    Zhang Jianwei
    Chen Jing
    Gao Xinrui
    Wang Kunlong
    Yang Yuting
    Guan Siqi
    Liu Yihong
    [J]. 2017 INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS, ELECTRONICS AND CONTROL (ICCSEC), 2017, : 1275 - 1280
  • [49] A Tutorial on C/GMRES and Automatic Code Generation for Nonlinear Model Predictive Control
    Ohtsuka, Toshiyuki
    [J]. 2015 EUROPEAN CONTROL CONFERENCE (ECC), 2015, : 73 - 86
  • [50] C code generation from Petri net based logic controller specification
    Grobelny, Michal
    Grobelna, Iwona
    Karatkevich, Andrei
    [J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2017, 2017, 10445
12345