GENERATING EFFICIENT CODE FROM STRICTNESS ANNOTATIONS

被引：0
|
作者：
LINDSTROM, G
GEORGE, L
YEH, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 250卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：140 / 154
页数：15
相关论文
共 50 条
  • [31] Using Annotations for Sensemaking About Code
    Horvath, Amber
    Myers, Brad A.
    Macvean, Andrew
    Rahman, Imtiaz
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, UIST 2022, 2022,
  • [32] Source Code Annotations as Formal Languages
    Nosal, Milan
    Sulir, Matus
    Juhar, Jan
    PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2015, 5 : 953 - 964
  • [33] From constraint representations of sequential code and program annotations to their use in debugging
    Nica, Mihai
    Wotawa, Franz
    ECAI 2008, PROCEEDINGS, 2008, 178 : 797 - +
  • [34] An Approach for Generating Semantic Annotations in Telecommunication Services
    Pellkvist, Simeona Harahap Cruz
    Reichl, Peter
    Fensel, Anna
    Zeiss, Joachim
    SEMAPRO 2010: THE FOURTH INTERNATIONAL CONFERENCE ON ADVANCES IN SEMANTIC PROCESSING, 2010, : 106 - 111
  • [35] Using rhetorical annotations for generating video documentaries
    Bocconi, S
    Nack, F
    Hardman, L
    2005 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO (ICME), VOLS 1 AND 2, 2005, : 1071 - 1074
  • [36] Enhancing Energy-Efficient Cloud Management through Code Annotations and the Green Abstraction Layer
    Bolla, R.
    Sambolino, L.
    Tigano, D.
    Repetto, M.
    2015 IEEE/ACM 8TH INTERNATIONAL CONFERENCE ON UTILITY AND CLOUD COMPUTING (UCC), 2015, : 534 - 539
  • [37] Generating Reliable Video Annotations by Exploiting the Crowd
    Di Salvo, Roberto
    Spampinato, Concetto
    Giordano, Daniela
    2016 IEEE WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION (WACV 2016), 2016,
  • [38] Generating Pseudo-Code from Source Code Using Deep Learning
    Alhefdhi, Abdulaziz
    Dam, Hoa Khanh
    Hata, Hideaki
    Ghose, Aditya
    2018 25TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2018, : 21 - 25
  • [39] Generating stream based code from plain C
    Beemster, M
    van Someren, H
    Fitzpatrick, L
    van Royen, R
    EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2005, 3553 : 232 - 241
  • [40] Generating Database Access Code From Domain Models
    Khelifi, Nassima Yamouni
    Smialek, Michal
    Mekki, Rachida
    PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2015, 5 : 991 - 996
12345