Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Live-structure analysis for logic programming languages with declarations

Bruynooghe, Maurice
Janssens, Gerda
Kågedal, Andreas

Publication date

January 1997

Publisher

MIT Press - Journals

Journal

1061-0464

Abstract

Book subtitle: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publishe

Extracted data

Related items

Theory and Pracite of Logic Programming

GABBRIELLI, MAURIZIO

Theory and Practice of Logic Programming is an international journal that publishes refereed papers ...

Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)

Albert, Elvira

September 2012

This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...

Logic Programming

K. Clark
S. Tarnlund

January 1982

Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...

Representing continuous change in the abductive event calculus

Van Belleghem, Kristof
Denecker, Marc
De Schreye, Danny

January 1994

Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publ...

Live-structure Analysis for Logic Programming Languages with Declarations

Maurice Bruynooghe
Maurice Bruynooghe
Gerda Janssens
Gerda Janssens
Andreas Kagedal
Andreas Kagedal

January 1996

Live-structure analysis addresses the problem of memory reuse for logic programs through program ana...

Towards a practical full mode inference system for CLP(H,N)

Dumortier, Veroniek
Janssens, Gerda

June 1994

Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publ...

Refactoring logic programs

Serebrenik, Alexander
Demoen, Bart

January 2003

pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...

Termination analysis of logic programs

Serebrenik, A

January 2003

pp 507-508 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...

Freeness analysis in the presence of numerical constraints

Dumortier, Veroniek
Janssens, Gerda
Bruynooghe, Maurice
Codish, Michael

January 1993

Book subtitle: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publish...

Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, 29th International Conference on Logic Programming

Evelina Lamma
Terrance Swift

January 2013

Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...

Preface [Proceedings 35th International Conference on Logic Programming (Technical Communications)]

September 2019

Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...

On the equivalence of XML patterns

Wood, Peter

January 2000

Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...

Ultimate well-founded and stable semantics for logic programs with aggregates

Denecker, Marc
Pelov, Nikolay
Bruynooghe, Maurice

January 2002

Pages 413-414 in Proceedings of BNAIC'02 - Belgian-Dutch Conference on Artificial Intelligence, Eds....

Composing complete and partial knowledge

Verbaeten, Sofie
Bossi, Annalisa

March 2000

Special Issue on Logical Formalisms for Program Composition, Guest Editors : A. Brogi and P.M. Hills...

Bottom up specialisation of logic programs

Vanhoof, Wim
De Schreye, Danny
Martens, Bern

January 1998

in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...

Theory and Pracite of Logic Programming

GABBRIELLI, MAURIZIO

Theory and Practice of Logic Programming is an international journal that publishes refereed papers ...

Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)

Albert, Elvira

September 2012

This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...

Logic Programming

K. Clark
S. Tarnlund

January 1982

Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...

Representing continuous change in the abductive event calculus

Van Belleghem, Kristof
Denecker, Marc
De Schreye, Danny

January 1994

Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publ...

Live-structure Analysis for Logic Programming Languages with Declarations

Maurice Bruynooghe
Maurice Bruynooghe
Gerda Janssens
Gerda Janssens
Andreas Kagedal
Andreas Kagedal

January 1996

Live-structure analysis addresses the problem of memory reuse for logic programs through program ana...

Towards a practical full mode inference system for CLP(H,N)

Dumortier, Veroniek
Janssens, Gerda

June 1994

Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publ...

Refactoring logic programs

Serebrenik, Alexander
Demoen, Bart

January 2003

pp 509-510 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...

Termination analysis of logic programs

Serebrenik, A

January 2003

pp 507-508 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springe...

Freeness analysis in the presence of numerical constraints

Dumortier, Veroniek
Janssens, Gerda
Bruynooghe, Maurice
Codish, Michael

January 1993

Book subtitle: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publish...

Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, 29th International Conference on Logic Programming

Evelina Lamma
Terrance Swift

January 2013

Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...

Preface [Proceedings 35th International Conference on Logic Programming (Technical Communications)]

September 2019

Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...

On the equivalence of XML patterns

Wood, Peter

January 2000

Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...

Ultimate well-founded and stable semantics for logic programs with aggregates

Denecker, Marc
Pelov, Nikolay
Bruynooghe, Maurice

January 2002

Pages 413-414 in Proceedings of BNAIC'02 - Belgian-Dutch Conference on Artificial Intelligence, Eds....

Composing complete and partial knowledge

Verbaeten, Sofie
Bossi, Annalisa

March 2000

Special Issue on Logical Formalisms for Program Composition, Guest Editors : A. Brogi and P.M. Hills...

Bottom up specialisation of logic programs

Vanhoof, Wim
De Schreye, Danny
Martens, Bern

January 1998

in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...

Theory and Pracite of Logic Programming

GABBRIELLI, MAURIZIO

Theory and Practice of Logic Programming is an international journal that publishes refereed papers ...

Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)

Albert, Elvira

September 2012

This book contains the papers presented at the 22nd International Symposium on Logic-Based Program S...

Logic Programming

K. Clark
S. Tarnlund

January 1982

Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...