Article

The benefits of global dataflow analysis for an optimizing Prolog compiler

Authors:

Peter Van Roy,

Alvin M. DespainAuthors Info & Claims

Proceedings of the 1990 North American conference on Logic programming

Pages 501 - 515

Published: 03 January 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Kelly AMarriott KMacDonald AStuckey PYap R(1998)Optimizing compilation of CLP( ℛ )ACM Transactions on Programming Languages and Systems10.1145/295656.29566120:6(1223-1250)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/295656.295661
Marriott KGarcía de la Banda MHermenegildo MBoehm HLang BYellin D(1994)Analyzing logic programs with dynamic schedulingProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/174675.177883(240-253)Online publication date: 1-Feb-1994
https://dl.acm.org/doi/10.1145/174675.177883
Jaffar JStuckey PMichaylov SYap R(1992)An abstract machine for CLP(R)ACM SIGPLAN Notices10.1145/143103.14312727:7(128-139)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1145/143103.143127
Show More Cited By

Index Terms

The benefits of global dataflow analysis for an optimizing Prolog compiler
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language features
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs

Recommendations

Partial evaluation in an optimizing prolog compiler
From Naïve to Norvig On Deriving a PROLOG Compiler
ILC '14: Proceedings of ILC 2014 on 8th International Lisp Conference

An interpreter is a concise definition of the semantics of a programming language and is easily implemented. A compiler is more difficult to construct, but the code that it generates runs faster than interpreted code. This paper introduces rules to ...
An optimizing compiler for lexically scoped LISP
SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

We are developing an optimizing compiler for a dialect of the LISP language. The current target architecture is the S-I, a multiprocessing supercomputer designed at Lawrence Livermore National Laboratory. While LISP is usually thought of as a language ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the 1990 North American conference on Logic programming

January 1990

848 pages

ISBN:0262540584

Editors:
Saumya Debray
Univ. of Arizona, Tuscon
,
Manuel Hermenegildo
Univ. Politecnica de Madrid, Madrid, Spain

Publisher

MIT Press

Cambridge, MA, United States

Publication History

Published: 03 January 1990

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kelly AMarriott KMacDonald AStuckey PYap R(1998)Optimizing compilation of CLP( ℛ )ACM Transactions on Programming Languages and Systems10.1145/295656.29566120:6(1223-1250)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/295656.295661
Marriott KGarcía de la Banda MHermenegildo MBoehm HLang BYellin D(1994)Analyzing logic programs with dynamic schedulingProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/174675.177883(240-253)Online publication date: 1-Feb-1994
https://dl.acm.org/doi/10.1145/174675.177883
Jaffar JStuckey PMichaylov SYap R(1992)An abstract machine for CLP(R)ACM SIGPLAN Notices10.1145/143103.14312727:7(128-139)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1145/143103.143127
Tan JLin I(1992)Compiling dataflow analysis of logic programsACM SIGPLAN Notices10.1145/143103.14312327:7(106-115)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1145/143103.143123
Jaffar JStuckey PMichaylov SYap RFeldman S(1992)An abstract machine for CLP(R)Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation10.1145/143095.143127(128-139)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1145/143095.143127
Tan JLin IFeldman S(1992)Compiling dataflow analysis of logic programsProceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation10.1145/143095.143123(106-115)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1145/143095.143123

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Partial evaluation in an optimizing prolog compiler

From Naïve to Norvig On Deriving a PROLOG Compiler

An optimizing compiler for lexically scoped LISP

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations