The Free On-line Dictionary of Computing (30 December 2018):

Eiffel source checker

   A compiler front-end for Eiffel 3 by Olaf Langmack
    and Burghardt Groeber.  It was
   generated automatically with the Karlsruhe toolbox for
   compiler construction according to the most recent public
   language definition.  The parser derives an easy-to-use
   abstract syntax tree, supports elementary error recovery and
   provides a precise source code indication of errors.  It
   performs a strict syntax check and analyses 4000 lines of
   source code per second on a Sun SPARC workstation.

   (ftp://ftp.fu-berlin.de/pub/heron/ep.tar.Z).

   (1992-12-14)