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 条
  • [41] PROOF RULES FOR FAULT TOLERANT DISTRIBUTED PROGRAMS
    JOSEPH, M
    MOITRA, A
    SOUNDARARAJAN, N
    SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (01) : 43 - 67
  • [42] Controlling the Average Behavior of Business Rules Programs
    Wang, Olivier
    Liberti, Leo
    D'Ambrosio, Claudia
    de Sainte Marie, Christian
    Ke, Changhai
    RULE TECHNOLOGIES: RESEARCH, TOOLS, AND APPLICATIONS, 2016, 9718 : 83 - 96
  • [43] Rules and strategies for transforming functional and logic programs
    Pettorossi, A
    Proietti, M
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 360 - 414
  • [44] SOVIET COMMUNISM - PROGRAMS AND RULES - TRISKA,JF
    ANDERSON, T
    JOURNAL OF POLITICS, 1963, 25 (02) : 386 - 388
  • [45] Kindergarten Cop: Dynamic Nursery Resizing for GHC
    Ferreiro, Henrique
    Castro, Laura
    Janjic, Vladimir
    Hammond, Kevin
    PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION (CC 2016), 2016, : 56 - 66
  • [46] Linearizing datalog programs with multiple bilinear rules
    Kang, JH
    Hong, KH
    Whang, KY
    Cho, JW
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (04): : 824 - 834
  • [47] From Rules to Constraint Programs with the Rules2CP Modelling Language
    Fages, Francois
    Martin, Julien
    RECENT ADVANCES IN CONSTRAINTS, 2009, 5655 : 66 - 83
  • [48] Rewriting a Shallow DSL using a GHC Compiler Extension
    Grebe, Mark
    Young, David
    Gill, Andy
    ACM SIGPLAN NOTICES, 2017, 52 (12) : 246 - 258
  • [49] Algebraic rules for reasoning about BSP programs
    Stewart, A
    Clint, M
    Gabarró, J
    CONSTRUCTIVE METHODS FOR PARALLEL PROGRAMMING, 2002, 10 : 41 - 57
  • [50] Linearizing datalog programs with multiple bilinear rules
    Kang, Ji-Hoon, 2000, IEICE of Japan, Tokyo, Japan (E83-D)
12345