DESIGN OF A COMPILER FOR LAZY PATTERN DRIVEN NARROWING

被引：0
|
作者：
WOLZ, D [1 ]
机构：
[1] TECH UNIV BERLIN,INST SOFTWARE & THEORET INFORMAT,FACHBEREICH INFORMAT 20,W-1000 BERLIN 10,GERMANY
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 534卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes the implementation of lazy pattern driven narrowing by extending an abstract machine for lazy rewriting to perform unification and backtracking. The abstract machine LANAM is based on implementation methods for functional and logic languages like LML and PROLOG. The approach leads to an efficient unification method for an equational theory and can also be used as a basis for efficient execution of functional logic programs. We give an abstract definition of the implemented algorithm, describe the architecture of the abstract machine and discuss performance and implementation issues.
引用
收藏
页码：362 / 379
页数：18
相关论文
共 50 条
  • [21] Stretching the Glasgow Haskell Compiler Nourishing GHC with Domain-Driven Design
    Young, Jeffrey M.
    Henry, Sylvain
    Ericson, John
    PROCEEDINGS OF THE 1ST ACM SIGPLAN INTERNATIONAL WORKSHOP ON FUNCTIONAL SOFTWARE ARCHITECTURE, FUNARCH 2023, 2023, : 34 - 39
  • [22] PADS: A Pattern-Driven Stencil Compiler-Based Tool for Reuse of Optimizations on GPGPUs
    Han, Dongni
    Xu, Shixiong
    Chen, Li
    Huang, Lei
    2011 IEEE 17TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2011, : 308 - 315
  • [23] Pattern Language Verification in Model Driven Design
    Zamani, Bahman
    Butler, Greg
    INFORMATION SCIENCES, 2013, 237 : 343 - 355
  • [24] Design pattern driven development of embedded applications
    Holman, Krisztian
    Szabo, Zoltan
    2015 IEEE 13TH INTERNATIONAL SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI), 2015, : 25 - 30
  • [25] A pattern-driven design regularization methodology
    Cain, Jason P.
    Rodriguez, Norma P.
    Sweis, Jason
    Gennari, Frank E.
    Lai, Ya-Chieh
    DESIGN-PROCESS-TECHNOLOGY CO-OPTIMIZATION FOR MANUFACTURABILITY VIII, 2014, 9053
  • [26] The design of the PROMIS compiler
    Saito, H
    Stavrakos, N
    Carroll, S
    Polychronopoulos, C
    Nicolau, A
    COMPILER CONSTRUCTION, 1999, 1575 : 214 - 228
  • [27] Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers
    Lv, Fang
    Li, Hao
    Wang, Lei
    Liu, Ying
    Cui, Huimin
    Xue, Jingling
    Feng, Xiaobing
    PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), 2020, : 1 - 12
  • [28] DESIGN OF A CHECKOUT COMPILER
    MARKS, BL
    IBM SYSTEMS JOURNAL, 1973, 12 (03) : 315 - 327
  • [29] Deep learning-driven optimization design for the configuration of lazy-wave umbilical cables
    Su, Qi
    Zhang, Qi
    Xu, Qi
    Yan, Jun
    Lu, Qingzhen
    Yin, Yuanchao
    Saevik, Sevin
    Ye, Naiquan
    APPLIED OCEAN RESEARCH, 2024, 150
  • [30] IMPLEMENTATION OF LAZY PATTERN-MATCHING ALGORITHMS
    LAVILLE, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 298 - 316
12345