Others have used HOS to formalize the semantics of linguistic quantifiers. and to formalize the design of reliable real-time embedded systems Hamilton left the company, HOS, in 1985.
Други су користили ХОС да формализују семантику језичких квантификатора и формализирати дизајн поузданих уграђених система у реалном времену Хамилтон је напустила компанију, ХОС, 1985. године.