argus係一隻程式語言，由barbaraliskov於1982年至1988年間喺麻省理工學院同mauriceherlihy、pauljohnson、robertscheifler同埋williamweihl合作整嘅。