Rule rewrite aims to clean up scientific software

被引：7
|
作者：
Hayden, Erika Check
机构：
来源：
NATURE | 2015年 / 520卷 / 7547期
关键词：
D O I：
10.1038/520276a
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
Nature Biotechnology asks peer reviewers to check accessibility of code used in computational studies.
引用
收藏
页码：276 / +
页数：2
相关论文
共 50 条
  • [21] AN OVERVIEW OF REWRITE RULE LABORATORY (RRL)
    KAPUR, D
    ZHANG, H
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (02) : 91 - 114
  • [22] First clean water rewrite trickles out
    ENR (Engineering News-Record), 1995, 234 (14):
  • [23] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
    FORET, A
    JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 281 - 298
  • [24] Rewrite Rule Inference Using Equality Saturation
    Nandi, Chandrakana
    Willsey, Max
    Zhu, Amy
    Wang, Yisu Remy
    Saiki, Brett
    Anderson, Adam
    Schulz, Adriana
    Grossman, Dan
    Tatlock, Zachary
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [25] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
    FORET, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 147 - 156
  • [26] Clean up your englishAvoiding superfluous words in scientific reporting
    Dmitry N. Tychinin
    Environmental Science and Pollution Research, 2001, 8 : 227 - 229
  • [27] AIMS OF SCIENTIFIC ACTIVITY
    KAUFMAN, AS
    MONIST, 1968, 52 (03): : 374 - 389
  • [28] AIMS OF A SCIENTIFIC ACTIVITY
    GERASIMOV, BM
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 1-ORGANIZATSIYA I METODIKA INFORMATSIONNOI RABOTY, 1985, (12): : 20 - 20
  • [29] Process Rewrite Systems for Software Model Checking
    Touili, Tayssir
    2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 15 - 22
  • [30] Graph rewrite systems for software design transformations
    Christoph, A
    OBJECTS, COMPONENTS, ARCHITECTURES, SERVICES, AND APPLICATIONS FOR A NETWORKED WORLD, 2003, 2591 : 76 - 86
12345