Sökning: "Samya Debray"

Hittade 1 avhandling innehållade orden Samya Debray.

  1. 1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

    Författare :Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. LÄS MER