Deriving run time properties of logic programs by means of abstract interpretation

Analyse programma voor draadantennes

Himbeeck, Carl Van
Louvain Katholieke Univ. (Belgium)

January 1988

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een implementatie van constraint programmeren in PROLOG en een toepassing ervan in scheduling

Gheysen, Kristof
Opsommer, Ignace
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Construction of university faculty timetables using logic programming techniques

Fahrion, Roland
Dollansky, G.

January 1989

SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...

Logical Algorithms

Ganzinger, Harald
McAllester, David
Stuckey, Peter J.

January 2002

It is widely accepted that many algorithms can be concisely and clearly expressed as logical infere...

Implementatie van verificatietechnieken voor temporele logica

Vanderbeke, Bart
Vaneynde, Dirk
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1991

SIGLEKULeuven Campusbibliotheek Exacte Wetenschppen / UCL - Université Catholique de LouvainBEBelgiu

Towards execution Time estimation in abstract machine-based (Logic) languages

Mera Menéndez, Edison Fernando
López García, Pedro
Carro Liñares, Manuel
Hermenegildo, Manuel V.

January 2017

Abstract machines provide a certain separation between platform-dependent and platform-independent ...

Ontwikkeling van een tutorial voor inductive logic programming

Peers, Pieter
Katholieke Universiteit Leuven, Leuven (Belgium), Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 2000

SIGLEAvailable from KULeuven, Campusbib. Exacte Wetenschappen, Celestijnenlaan 300A, 3001 Heverlee, ...

Analyse van parallelle programmatuur: een parallelle implementatatie

Bijnens, Stijn
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1991

KULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainSIGLEBEBelgi...

K.: Synthesizing dynamic programming algorithms from linear temporal logic formulae

Grigore Roşu
Klaus Havelund
Grigore Roşu
Klaus Riacs
Kestrel Havelund
Technology
Grigore Roşu
Klaus Havelund

January 2001

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, ...

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

Hermenegildo, Manuel V.

August 1986

The term "Logic Programming" refers to a variety of computer languages and execution models which ar...

Run-Time Profiling of Functional Logic Programs?

February 2008

1 Introduction The importance of profiling in improving the performance of programs is widelyrecogni...

Runtime Verification of Systems with MTL Properties

Olšák, Ondřej

January 2021

This work is focused on the design of an algorithm for run-time verification over requirements given...

Realisatie van een didactische abstracte PROLOG-machine

Annaert, Kris
Franck, Bert
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1991

KULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainSIGLEBEBelgi...

A Parallel semantics for normal logic programs plus time

Cleary, John G.
Utting, Mark
Clayton, Roger

November 2013

It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a ...

Abductive Analysis of Modular Logic Programs

GIACOBAZZI, Roberto

January 1994

We introduce a practical method for abductive analysis of modular logic programs. This is obtained b...

Analyse programma voor draadantennes

Himbeeck, Carl Van
Louvain Katholieke Univ. (Belgium)

January 1988

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een implementatie van constraint programmeren in PROLOG en een toepassing ervan in scheduling

Gheysen, Kristof
Opsommer, Ignace
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Construction of university faculty timetables using logic programming techniques

Fahrion, Roland
Dollansky, G.

January 1989

SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...

Logical Algorithms

Ganzinger, Harald
McAllester, David
Stuckey, Peter J.

January 2002

It is widely accepted that many algorithms can be concisely and clearly expressed as logical infere...

Implementatie van verificatietechnieken voor temporele logica

Vanderbeke, Bart
Vaneynde, Dirk
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1991

SIGLEKULeuven Campusbibliotheek Exacte Wetenschppen / UCL - Université Catholique de LouvainBEBelgiu

Towards execution Time estimation in abstract machine-based (Logic) languages

Mera Menéndez, Edison Fernando
López García, Pedro
Carro Liñares, Manuel
Hermenegildo, Manuel V.

January 2017

Abstract machines provide a certain separation between platform-dependent and platform-independent ...

Ontwikkeling van een tutorial voor inductive logic programming

Peers, Pieter
Katholieke Universiteit Leuven, Leuven (Belgium), Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 2000

SIGLEAvailable from KULeuven, Campusbib. Exacte Wetenschappen, Celestijnenlaan 300A, 3001 Heverlee, ...

Analyse van parallelle programmatuur: een parallelle implementatatie

Bijnens, Stijn
Louvain, Katholieke Univ., Heverlee (Belgium). Departement Computerwetenschappen

January 1991

KULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainSIGLEBEBelgi...

K.: Synthesizing dynamic programming algorithms from linear temporal logic formulae

Grigore Roşu
Klaus Havelund
Grigore Roşu
Klaus Riacs
Kestrel Havelund
Technology
Grigore Roşu
Klaus Havelund

January 2001

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, ...

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

Hermenegildo, Manuel V.

August 1986

The term "Logic Programming" refers to a variety of computer languages and execution models which ar...

Run-Time Profiling of Functional Logic Programs?

February 2008

1 Introduction The importance of profiling in improving the performance of programs is widelyrecogni...

Runtime Verification of Systems with MTL Properties

Olšák, Ondřej

January 2021

This work is focused on the design of an algorithm for run-time verification over requirements given...

Realisatie van een didactische abstracte PROLOG-machine

Annaert, Kris
Franck, Bert
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1991

KULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainSIGLEBEBelgi...

A Parallel semantics for normal logic programs plus time

Cleary, John G.
Utting, Mark
Clayton, Roger

November 2013

It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a ...

Abductive Analysis of Modular Logic Programs

GIACOBAZZI, Roberto

January 1994

We introduce a practical method for abductive analysis of modular logic programs. This is obtained b...

Analyse programma voor draadantennes

Himbeeck, Carl Van
Louvain Katholieke Univ. (Belgium)

January 1988

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Een implementatie van constraint programmeren in PROLOG en een toepassing ervan in scheduling

Gheysen, Kristof
Opsommer, Ignace
Louvain, Katholieke Univ., Heverlee (Belgium). Faculteiten Wetenschappen en Toegepaste Wetenschappen

January 1990

SIGLEKULeuven Campusbibliotheek Exacte Wetenschappen / UCL - Université Catholique de LouvainBEBelgi...

Construction of university faculty timetables using logic programming techniques

Fahrion, Roland
Dollansky, G.

January 1989

SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...

Deriving run time properties of logic programs by means of abstract interpretation

Abstract

Extracted data

Deriving run time properties of logic programs by means of abstract interpretation

Abstract

Extracted data

Related items

Related items