Code generation from declarative models of robotics solvers

被引：0
|
作者：
Frigerio, Marco [1 ]
Scioni, Enea [1 ]
Pazderski, Pawel Piotr [1 ]
Bruyninckx, Herman [1 ,2 ]
机构：
[1] Katholieke Univ Leuven, Dept Mech Engn, Leuven, Belgium
[2] TU E Eindhoven, Dept Mech Engn, Eindhoven, Netherlands
来源：
2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019) | 2019年
基金：
欧盟地平线“2020”;
关键词：
D O I：
10.1109/IRC.2019.00066
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This short paper describes a development methodology addressing the limitations of traditional robot kinematics and dynamics software libraries. Specifically, the implementation choices which hinder the integration of the libraries within user code based on different assumptions; for example, choices about the mathematical formalism or the digital data types. Code generation based on declarative and semantically unambiguous specification is proposed as a more flexible development approach, which allows to configure the generated API and the concrete implementation choices. The paper also introduces a prototype tool that we developed to investigate our research hypothesis, and discusses some of the current challenges.
引用
收藏
页码：369 / 372
页数：4
相关论文
共 50 条
  • [41] Exploring and Evaluating Personalized Models for Code Generation
    Zlotchevski, Andrei
    Drain, Dawn
    Svyatkovskiy, Alexey
    Clement, Colin B.
    Sundaresan, Neel
    Tufano, Michele
    PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 1500 - 1508
  • [42] Code Generation from Supervised Code Embeddings
    Hu, Han
    Chen, Qiuyuan
    Liu, Zhaoyi
    NEURAL INFORMATION PROCESSING (ICONIP 2019), PT IV, 2019, 1142 : 388 - 396
  • [43] ReCode: Robustness Evaluation of Code Generation Models
    Wang, Shiqi
    Li, Zheng
    Qian, Haifeng
    Yang, Chenghao
    Wang, Zijian
    Shang, Mingyue
    Kumar, Varun
    Tan, Samson
    Ray, Baishakhi
    Bhatia, Parminder
    Nallapati, Ramesh
    Ramanathan, Murali Krishna
    Roth, Dan
    Xiang, Bing
    PROCEEDINGS OF THE 61ST ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2023): LONG PAPERS, VOL 1, 2023, : 13818 - 13843
  • [44] Evaluating Social Bias in Code Generation Models
    Ling, Lin
    COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 695 - 697
  • [45] Exploring Continual Learning for Code Generation Models
    Yadav, Prateek
    Sun, Qing
    Ding, Hantian
    Li, Xiaopeng
    Zhang, Dejiao
    Tan, Ming
    Ma, Xiaofei
    Bhatia, Parminder
    Nallapati, Ramesh
    Ramanathan, Murali Krishna
    Bansal, Mohit
    Xiang, Bing
    61ST CONFERENCE OF THE THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, ACL 2023, VOL 2, 2023, : 782 - 792
  • [46] Exploring and Evaluating Personalized Models for Code Generation
    Zlotchevski, Andrei
    Drain, Dawn
    Svyatkovskiy, Alexey
    Clement, Colin
    Sundaresan, Neel
    Tufano, Michele
    arXiv, 2022,
  • [47] Code Difference Guided Adversarial Example Generation for Deep Code Models
    Tian, Zhao
    Chen, Junjie
    Jin, Zhi
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 850 - 862
  • [48] Extracting Declarative Process Models from Natural Language
    van der Aa, Han
    Di Ciccio, Claudio
    Leopold, Henrik
    Reijers, Hajo A.
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 365 - 382
  • [49] PetriCode: A Tool for Template-Based Code Generation from CPN Models
    Simonsen, Kent Inge Fagerland
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2014, 8368 : 151 - 163
  • [50] CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot
    Niu, Liang
    Mirza, Shujaat
    Maradni, Zayd
    Popper, Christina
    PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 2133 - 2150
12345