UNFOLDING RULES FOR GHC PROGRAMS

被引：4
作者：
FURUKAWA, K
OKUMURA, A
MURAKAMI, M
机构：
来源：
NEW GENERATION COMPUTING | 1988年 / 6卷 / 2-3期
关键词：
D O I：
10.1007/BF03037135
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：143 / 157
页数：15
相关论文
共 50 条
  • [31] Making GHC whole again or, how to perform whole-program analysis within GHC
    Koparkar, Chaitanya
    XRDS: Crossroads, 2021, 28 (02): : 80 - 81
  • [32] Equivalent transformation rules as components of programs
    Mabuchi, Hiroshi
    Akama, Kiyoshi
    Wakatsuki, Toshihiro
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2007, 3 (03): : 685 - 696
  • [33] FORMAL FORMATTING RULES FOR PASCAL PROGRAMS
    LECUYER, P
    JOURNAL OF SYSTEMS AND SOFTWARE, 1987, 7 (04) : 311 - 322
  • [34] Equivalent transformation rules as components of programs
    Mabuchi, Hiroshi
    Akama, Kiyoshi
    Wakatsuki, Toshihiro
    ICICIC 2006: FIRST INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING, INFORMATION AND CONTROL, VOL 2, PROCEEDINGS, 2006, : 282 - +
  • [35] Dependently-Typed Programming in GHC
    Weirich, Stephanie
    FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 3 - 3
  • [36] Operational/interpretive unfolding of multi-adjoint logic programs
    Julian, Pascual
    Moreno, Gines
    Penabad, Jaime
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (11) : 1679 - 1699
  • [37] From Disjunctive to Normal Logic Programs via Unfolding and Shifting
    Zhou, Yi
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 1139 - 1140
  • [38] Unfolding based Minimal Test Suites for Testing Multithreaded Programs
    Ponce-de-Leon, Hernan
    Saarikivi, Olli
    Kahkonen, Kari
    Heljanko, Keijo
    2015 15TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2015, : 40 - 49
  • [39] A GHC ABSTRACT MACHINE AND INSTRUCTION SET
    LEVY, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 157 - 171
  • [40] Finding the Needle Stack Traces for GHC
    Allwood, Tristan O. R.
    Jones, Simon Peyton
    Eisenbach, Susan
    HASKELL'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN HASKELL SYMPOSIUM, 2009, : 129 - 140
12345