Výsledky vyhledávání - "Boulanger, Dmitri"

Index-driven semantics of logic programs

Autor: Boulanger, Dmitri, Bruynooghe, Maurice

An operational semantics is presented. It is aimed at developing a wide class of static analysis frameworks. Each computed answer of a program is assigned an index, with encodes SLD-derivations with this computed answer. This is concisely formalised

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1131::15c656f0a6c3b7574f0556f83e8a7578
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW211.abs.html

Zobrazit plný text záznamu

Using abstract interpretation for goal replacement

Autor: Boulanger, Dmitri, Bruynooghe, Maurice

ispartof: pages:210-228 ispartof: Logic Program Synthesis and Transformation (LOPSTR'93) pages:210-228 ispartof: Workshop on Logic Program Synthesis and Transformation (LOPSTR'93) location:Louvain-la-Neuve, Belgium date:7 Jul - 9 Jul 1993 status: pub

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1131::54d3edf982690ceaf137548dece788e6
https://lirias.kuleuven.be/handle/123456789/628320

Zobrazit plný text záznamu

Abstract interpretation for (constraint) logic programming

Autor: Bruynooghe, Maurice, Boulanger, Dmitri

ispartof: CW Reports pages:34-34 status: published

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1131::5c328dd75ccc6955de4389252a6b8bad
https://lirias.kuleuven.be/handle/123456789/628306

Zobrazit plný text záznamu

Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs

Autor: Boulanger, Dmitri, Bruynooghe, Maurice, De Schreye, Danny

ispartof: pages:39-51 ispartof: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993) pages:39-51 ispartof: Workshop on Logic Programming Environments (LPE 1993) location:Vancouver, Canada date:29 Oct - 30 Oct 1993 status: publ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e7de43a6040feca1ab71203d2a5d457c
https://lirias.kuleuven.be/handle/123456789/628317

Zobrazit plný text záznamu

Kniha

Compiling Control Revisited: A New Approach based upon Abstract Interpretation.

Autor: Boulanger, Dmitri, De Schreye, Danny

Publikováno v: Logic Programming (9780262257145); 1994, p699-713, 15p

Zobrazit plný text záznamu

Kniha

Practical Model-Based Static Analysis for Definite Logic Programs.

Autor: Gallagher, John, Boulanger, Dmitri, Sağlam, Hüseyin

Publikováno v: Logic Programming (9780262291248); 1995, p351-365, 15p

Zobrazit plný text záznamu

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání