article

Compiling control

Authors:

Maurice Bruynooghe,

Danny de Schreye,

Bruno KrekelsAuthors Info & Claims

Journal of Logic Programming, Volume 6, Issue 1-2

Pages 135 - 162

https://doi.org/10.1016/0743-1066(89)90033-2

Published: 03 January 1989 Publication History

Abstract

No abstract available.

Cited By

View all

Hanus M(2024)Improving Logic Programs by Adding FunctionsLogic-Based Program Synthesis and Transformation10.1007/978-3-031-71294-4_2(27-44)Online publication date: 9-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-71294-4_2
Gallagher JHermenegildo MMorales JLopez-Garcia P(2023)Transforming Big-Step to Small-Step Semantics Using Interpreter SpecialisationLogic-Based Program Synthesis and Transformation10.1007/978-3-031-45784-5_3(28-38)Online publication date: 23-Oct-2023
https://dl.acm.org/doi/10.1007/978-3-031-45784-5_3
Nys VDe Schreye D(2017)Abstract conjunctive partial deduction for the analysis and compilation of coroutinesFormal Aspects of Computing10.1007/s00165-016-0389-829:1(125-153)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s00165-016-0389-8
Show More Cited By

Index Terms

Compiling control
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Translator writing systems and compiler generators
    2. General programming languages
      1. Language features
        Abstract data types
        Control structures
2. Theory of computation
  1. Logic
    1. Constraint and logic programming

Recommendations

On compiling embedded languages in LISP
LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programming

In INTERLISP we find a number of embedded languages such as the iterative statement and the pattern match facility in the CLISP package, the editor and makefile languages and so forth. We will in this paper concentrate on the problem of extending the ...
Compiling a functional language
LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming

This paper summarizes my experience in implementing a compiler for a functional language. The language is ML(1) [Milner 84] and the compiler was first implemented in 1980 as a personal project when I was a postgraduate student at the University of ...
Compiling with Continuations

Comments

Information & Contributors

Information

Published In

cover image Journal of Logic Programming

Journal of Logic Programming Volume 6, Issue 1-2

Jan./Mar. 1989

207 pages

ISSN:0743-1066

Editor:
J. L. Lassez

Issue’s Table of Contents

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 03 January 1989

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hanus M(2024)Improving Logic Programs by Adding FunctionsLogic-Based Program Synthesis and Transformation10.1007/978-3-031-71294-4_2(27-44)Online publication date: 9-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-71294-4_2
Gallagher JHermenegildo MMorales JLopez-Garcia P(2023)Transforming Big-Step to Small-Step Semantics Using Interpreter SpecialisationLogic-Based Program Synthesis and Transformation10.1007/978-3-031-45784-5_3(28-38)Online publication date: 23-Oct-2023
https://dl.acm.org/doi/10.1007/978-3-031-45784-5_3
Nys VDe Schreye D(2017)Abstract conjunctive partial deduction for the analysis and compilation of coroutinesFormal Aspects of Computing10.1007/s00165-016-0389-829:1(125-153)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s00165-016-0389-8
Pettorossi AProietti MSenni V(2010)The transformational approach to program developmentA 25-year perspective on logic programming10.5555/1880413.1880420(112-135)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1880413.1880420
Genaim SKing A(2008)Inferring non-suspension conditions for logic programs with dynamic schedulingACM Transactions on Computational Logic10.1145/1352582.13525859:3(1-43)Online publication date: 12-Jun-2008
https://dl.acm.org/doi/10.1145/1352582.1352585
King AMartin J(2006)Control Generation by Program TransformationFundamenta Informaticae10.5555/2367480.236748669:1-2(179-218)Online publication date: 1-Jan-2006
https://dl.acm.org/doi/10.5555/2367480.2367486
King AMartin J(2005)Control Generation by Program TransformationFundamenta Informaticae10.5555/1227247.122725469:1-2(179-218)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.5555/1227247.1227254
Pettorossi AProietti M(2002)Program Derivation = Rules + StrategiesComputational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I10.5555/646001.675911(273-309)Online publication date: 1-Jan-2002
https://dl.acm.org/doi/10.5555/646001.675911
Leuschel MBruynooghe M(2002)Logic program specialisation through partial deduction: Control issuesTheory and Practice of Logic Programming10.1017/S147106840200145X2:4-5(461-515)Online publication date: 1-Jul-2002
https://dl.acm.org/doi/10.1017/S147106840200145X
Pettorossi AProietti M(2002)The List Introduction Strategy for the Derivation of Logic ProgramsFormal Aspects of Computing10.1007/s00165020001113:3-5(233-251)Online publication date: 1-Jul-2002
https://dl.acm.org/doi/10.1007/s001650200011
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

On compiling embedded languages in LISP

Compiling a functional language

Compiling with Continuations

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations