Ivo van Horebeek - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 6 from 6

1992

Generation of Interactive Parsers With Error HandlingEric Steegmans, Johan Lewi, Ivo van Horebeek. TSE, 18(5):357-367, 1992. [doi]

1990

Are constructive formal specifications less abstract?Ivo van Horebeek, Johan Lewi. SIGPLAN, 25(5):60-68, 1990. [doi]

1988

Remarks on many-sorted equational logic with respect to algebraic implementationsEric van Gestel, Ivo van Horebeek. SIGPLAN, 23(1):120-126, 1988. [doi]

An Exception Handling Method for Constructive Algebraic SpecificationsIvo van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck. SPE, 18(5):443-458, 1988.

Formal Specifications Based on Many-Sorted Initial Algebras and their Applications to Software EngineeringIvo van Horebeek. PhD thesis, Katholieke Universiteit Leuven, Belgium, 1988. [doi]

1987

The algebraic data type specification languageLuc Duponcheel, Jurgen Heyman, Willy Van Puymbroeck, Johan Lewi, Ivo van Horebeek. jsa, 21(1-5):231-240, 1987. [doi]

Sign in or sign up to see more results.

runs on WebDSL