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

In addition suitable contents:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ be ] [ C ] [ C++ ] [ ca ] [ cat ] [ ch ] [ ci ] [ du ] [ ec ] [ ed ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ interface ] [ io ] [ la ] [ language ] [ Lex ] [ ly ] [ ma ] [ mall ] [ mo ] [ mod ] [ module ] [ na ] [ ng ] [ pe ] [ ph ] [ pr ] [ program ] [ query ] [ rc ] [ re ] [ ro ] [ se ] [ spec ] [ specification ] [ to ] [ ua ] [ us ]