An interface specification language which can be used to formally specify C++ program modules.
Try this search on Wikipedia, OneLook, Google
Nearby terms: laptop computer « LaQuey « Larch « Larch/C++ » LARCH/CLU » Large Installation Systems Administration » Larry Wall
