Towards Just-In-Time Partial Evaluation of Prolog

@inproceedings{Bolz2009TowardsJP,
  title={Towards Just-In-Time Partial Evaluation of Prolog},
  author={Carl Friedrich Bolz and M. Leuschel and A. Rigo},
  booktitle={LOPSTR},
  year={2009}
}
  • Carl Friedrich Bolz, M. Leuschel, A. Rigo
  • Published in LOPSTR 2009
  • Computer Science
  • We introduce a just-in-time specializer for Prolog. [...] Key Result We evaluate the performance of our prototype on a small number of benchmarks.Expand Abstract
    Practical partial evaluation for high-performance dynamic language runtimes
    • 67
    • PDF
    Towards a jitting VM for prolog execution
    • 22
    • PDF
    Bacon: A GPU Programming System With Just in Time Specialization
    • 1
    Bacon : A GPU Programming Language With Just in Time Specialization ( Draft )
    • 1
    • PDF
    Modularisierung und Wiederverwendung durch generische Klassen in Object Teams

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 40 REFERENCES
    Partial evaluation and automatic program generation
    • 1,677
    • PDF
    Dynamo: a transparent dynamic optimization system
    • 537
    • PDF
    Tracing the meta-level: PyPy's tracing JIT compiler
    • 231
    • PDF
    HotpathVM: an effective JIT compiler for resource-constrained devices
    • 144
    • PDF
    DyC: an expressive annotation-directed dynamic compiler for C
    • 179
    • PDF
    PyPy's approach to virtual machine construction
    • 165
    • PDF
    Representation-based just-in-time specialization and the psyco prototype for python
    • 93
    • PDF
    A Uniform Approach for Compile-Time and Run-Time Specialization
    • 134
    • PDF