Larch/C++

Larch/C++

An interface specification language which can be used to formally specify C++ program modules.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)