Source : Free On-Line Dictionary of Computing

Larch/C++
     
        An interface specification language which can be used to
        formally specify {C++} program {modules}.