Concepedia

André Mariën

AM

Statistics

Publications

5

Citations

89

H-Index

5

Active since

1988

Affiliations

KU Leuven(Current)

André Mariën is an author at KU Leuven specializing in automated reasoning, engineering, and language studies.

Top concepts

Publications per year

1988–1993

5

Publications

5

The Impact of Abstract Interpretation: An Experiment in Code Generation.

André Mariën, Gerda Janssens, Anne Mulkers et al. · International Conference on Lightning Protection · 1989 · 40 citations

, , +9

On the management of choicepoint and environment frames in the WAM

André Mariën, Bart Demoen · Lirias (KU Leuven) · 1989 · 14 citations · Full text

Improving the register allocation in WAM by reordering unification

Gerda Janssens, Bart Demoen, André Mariën · Lirias (KU Leuven) · 1988 · 13 citations

Improving the compilation of Prolog in the framework of the Warren Abstract Machine

André Mariën · Lirias (KU Leuven) · 1993 · 11 citations · Full text

Indexing Prolog clauses

Bart Demoen, André Mariën, Allain Callebaut · 1989 · 11 citations

, , +6

1–5 of 5