Eddy Bevers

According to our database1, Eddy Bevers
  • authored at least 6 papers between 1988 and 1995.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1995
Polyvariant Constructor Specialisation.
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.
Acta Inf., 1993

1991
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem.
Proceedings of the Actes JTASPEFL'91 (Bordeaux), 1991

Program Bifurcation for a Polymorphic Typed Functional Language.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990
Proof by Consistency in Conditional Equational Theories.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988
An Exception Handling Method for Constructive Algebraic Specifications.
Softw., Pract. Exper., 1988


  Loading...