|
Search the dblp DataBase
Ivo van Horebeek:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eric van Gestel, Ivo van Horebeek
Remarks on many-sorted equational logic with respect to algebraic implementations. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1988, v:23, n:1, pp:120-126 [Journal]
- Ivo van Horebeek, Johan Lewi
Are constructive formal specifications less abstract? [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1990, v:25, n:5, pp:60-68 [Journal]
- Ivo van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck
An Exception Handling Method for Constructive Algebraic Specifications. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1988, v:18, n:5, pp:443-458 [Journal]
- Eric Steegmans, Johan Lewi, Ivo van Horebeek
Generation of Interactive Parsers With Error Handling. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1992, v:18, n:5, pp:357-367 [Journal]
Search in 0.003secs, Finished in 0.003secs
|