Ivo Van Horebeek

Years Active: 1987-1992
Publications (10 Years): 0

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Eric Steegmans, Johan Lewi, Ivo Van Horebeek
Generation of Interactive Parsers With Error Handling. IEEE Trans. Software Eng. 18 (5) (1992)
Ivo Van Horebeek, Johan Lewi
Are constructive formal specifications less abstract? ACM SIGPLAN Notices 25 (5) (1990)
Ivo Van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck
An Exception Handling Method for Constructive Algebraic Specifications. Softw. Pract. Exp. 18 (5) (1988)
Eric van Gestel, Ivo Van Horebeek
Remarks on many-sorted equational logic with respect to algebraic implementations. ACM SIGPLAN Notices 23 (1) (1988)
Luc Duponcheel, Jurgen Heyman, Willy Van Puymbroeck, Johan Lewi, Ivo Van Horebeek
The algebraic data type specification language. Microprocess. Microprogramming 21 (1-5) (1987)

Ivo Van Horebeek.css-eqlu8i{font-size:small;padding-left:4px;}