Eddy Bevers

According to our database, Eddy Bevers authored at least 6 papers between 1988 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Polyvariant Constructor Specialisation.

Dirk Dussart, Eddy Bevers, Karel De Vlaminck

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993

Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.

Eddy Bevers, Johan Lewi

Acta Informatica, 1993

1991

Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem.

Anne De Niel, Eddi Bevers, Karel De Vlaminck

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Program Bifurcation for a Polymorphic Typed Functional Language.

Anne De Niel, Eddy Bevers, Karel De Vlaminck

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Proof by Consistency in Conditional Equational Theories.

Eddy Bevers, Johan Lewi

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988

An Exception Handling Method for Constructive Algebraic Specifications.

Ivo Van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck

Softw. Pract. Exp., 1988