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 条
  • [21] Generating C code from LOGS specifications
    Zhou, JG
    Chen, YF
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 195 - 210
  • [22] Generating optimized code from SCR specifications
    Rothamel, Tom
    Liu, Yanhong A.
    Heitmeyer, Constance L.
    Leonard, Elizabeth I.
    ACM SIGPLAN NOTICES, 2006, 41 (07) : 135 - 144
  • [23] Generating Comments from Source Code with CCGs
    Matskevich, Sergey
    Gordon, Colin S.
    PROCEEDINGS OF THE 4TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON NLP FOR SOFTWARE ENGINEERING (NL4SE '18), 2018, : 26 - 29
  • [24] SIPR: A new framework for generating efficient code for sparse matrix computations
    Pugh, W
    Shpeisman, T
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 1999, 1656 : 213 - 229
  • [25] Co-evolving annotations and source code through smart annotations
    Software Languages Lab ., Vrije Universiteit Brussel, Pleinlaan 2, B-1050 Brussels, Belgium
    Proc. Eur. Conf. Software Maint. Reeng., (117-126):
  • [26] Co-evolving Annotations and Source Code through Smart Annotations
    Kellens, Andy
    Noguera, Carlos
    De Schutter, Kris
    De Roover, Coen
    D'Hondt, Theo
    14TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR 2010), 2010, : 117 - 126
  • [27] Polyhedral Fragments: An Efficient Representation for Symbolically Generating Code for Processor Arrays
    Witterauf, Michael
    Hannig, Frank
    Teich, Juergen
    17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
  • [28] Maple programs for generating efficient FORTRAN code for serial and vectorised machines
    Gomez, C
    Scott, T
    COMPUTER PHYSICS COMMUNICATIONS, 1998, 115 (2-3) : 548 - 562
  • [29] Code of bilingual canon law and annotations
    Routhier, Gilles
    LAVAL THEOLOGIQUE ET PHILOSOPHIQUE, 2008, 64 (03): : 825 - 825
  • [30] Visual Code Annotations for Cyberphysical Programming
    Swift, Ben
    Sorensen, Andrew
    Gardner, Henry
    Hosking, John
    2013 1ST INTERNATIONAL WORKSHOP ON LIVE PROGRAMMING (LIVE), 2013, : 27 - 30
12345