Concepedia

Eddy Bevers

EB

4

Publications

53

Citations

4

H-Index

1988

Active since

Affiliations

KU Leuven(Current)

Eddy Bevers is an author at KU Leuven specializing in formal methods, engineering, and automated reasoning.

Top concepts

Publications per year

1988–1995

4

Publications

4

Polyvariant constructor specialisation

Dirk Dussart, Eddy Bevers, Karel De Vlaminck · 1995 · 21 citations · Full text

An exception handling method for constructive algebraic specifications

Ivo Van Horebeek, Johan Lewi, Eddy Bevers et al. · Software Practice and Experience · 1988 · 11 citations

, , +17

Proving termination of (conditional) rewrite systems

Eddy Bevers, Johan Lewi · Acta Informatica · 1993 · 11 citations

, , +5

Program bifurcation for a polymorphically typed functional language

Anne De Niel, Eddy Bevers, Karel De Vlaminck · 1991 · 10 citations · Full text

, , +17

Rows per page

1–4 of 4