MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Wim Vanhoof" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

Binding-Time Analysis by Constraint Solving - A modular and higher-order approach for Mercury
by Wim Vanhoof — 2000 — In Procs. of LPAR2000, LNAI 1955, 399--416
…Binding-Time Analysis by Constraint Solving A modular and higher-order approach for Mercury Wim…
Cited by 10 (3 self) – Add To MetaCart

Bottom Up Information Propagation for Partial Deduction (Extended Abstract)
by Wim Vanhoof — 1997 — Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications
…Bottom Up Information Propagation for Partial Deduction (Extended Abstract) Wim Vanhoof…
Cited by 7 (3 self) – Add To MetaCart

To Parse or Not To Parse
by Wim Vanhoof, Bern Martens — 1997 — Logic Program Synthesis and Transformation. Proceedings of LOPSTR’97, LNCS 1463
…To Parse or Not To Parse Wim Vanhoof ? and Bern Martens ?? Department of Computer Science…
Cited by 15 (5 self) – Add To MetaCart

Binding-Time Analysis for Mercury
by Wim Vanhoof, Maurice Bruynooghe — 1999 — 16th International Conference on Logic Programming, pages 500 { 514
…Binding-Time Analysis for Mercury Wim Vanhoof and Maurice Bruynooghe Department of Computer…
Cited by 8 (4 self) – Add To MetaCart

Binding-time Annotations without Binding-time Analysis (Extended Abstract)
by Wim Vanhoof, Maurice Bruynooghe — 2001 — Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LNCS 2250
…Binding-time Annotations without Binding-time Analysis (Extended Abstract) Wim Vanhoof and Maurice…
Cited by 8 (4 self) – Add To MetaCart

Towards a Modular Binding-time Analysis for Higher-order Mercury
by Wim Vanhoof, Maurice Bruynooghe — 2000 — In Special Issue on Optimization and Implementation of Declarative Programming Languages, volume 30 of Electronic Notes in Theoretical Computer Science. Elsevier - North
…Towards a Modular Binding-time Analysis for Higher-order Mercury ? Wim Vanhoof and Maurice…
Cited by 5 (1 self) – Add To MetaCart

When Size Does Matter - Termination Analysis for Typed Logic Programs
by Wim Vanhoof, Maurice Bruynooghe — 2002 — Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Selected Papers, volume 2372 of LNCS
…When Size Does Matter Termination Analysis for Typed Logic Programs Wim Vanhoof and Maurice…
Cited by 5 (3 self) – Add To MetaCart

P os(T): Analyzing Dependencies in Typed Logic Programs
by Maurice Bruynooghe Wim Vanhoof
… P os(T ): Analyzing Dependencies in Typed Logic Programs Maurice Bruynooghe1, Wim Vanhoof1…
Add To MetaCart

A Fixed Point Semantics for Logic Programs Extended with Cuts
by Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe
…A Fixed Point Semantics for Logic Programs Extended with Cuts Wim Vanhoof, Remko Troncon…
Add To MetaCart

Pos(T): Analyzing Dependencies in Typed Logic Programs
by Maurice Bruynooghe, Wim Vanhoof, Michael Codish — 2001 — Presented at the Andrei Ershov Fourth International Conference on Perspectives of System Informatics
…Pos(T ): Analyzing Dependencies in Typed Logic Programs Maurice Bruynooghe 1 , Wim Vanhoof 1…
Cited by 4 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB