首页    期刊浏览 2024年11月07日 星期四
登录注册

文章基本信息

  • 标题:The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
  • 作者:Anderson Faustino da Silva ; Vitor Santos Costa
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2006
  • 卷号:12
  • 期号:7
  • 页码:764-787
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main approaches to efficient Prolog implementation: (1) compilers to bytecode and then interpreting it (emulators) or (2) compilers to native code. Emulators have smaller load/compilation time and are a good solution for their simplicity when speed is not a priority. Compilers are more complex than emulators, and the difference is much more acute if some form of code analysis is performed as part of the compilation, which impacts development time. Generation of low level code promises faster programs at the expense of using more resources during the compilation phase. In our work besides using an mixed execution mode, we design an optimizing compiler that using type feedback profiling, dynamic compilation and dynamic deoptimization for improving the performance of logic programming languages.
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有