Ivo Van Horebeek

According to our database, Ivo Van Horebeek authored at least 6 papers between 1987 and 1992.

Collaborative distances:

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

1992

Generation of Interactive Parsers With Error Handling.

Eric Steegmans, Johan Lewi, Ivo Van Horebeek

IEEE Trans. Software Eng., 1992

1990

Are constructive formal specifications less abstract?

Ivo Van Horebeek, Johan Lewi

ACM SIGPLAN Notices, 1990

1988

Formal Specifications Based on Many-Sorted Initial Algebras and their Applications to Software Engineering.

Ivo Van Horebeek

PhD thesis, 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

Remarks on many-sorted equational logic with respect to algebraic implementations.

Eric van Gestel, Ivo Van Horebeek

ACM SIGPLAN Notices, 1988

1987

The algebraic data type specification language.

Luc Duponcheel, Jurgen Heyman, Willy Van Puymbroeck, Johan Lewi, Ivo Van Horebeek

Microprocess. Microprogramming, 1987