HLL is an expressive formal language well suited as a target language for certifiable translators from specification, design and code languages. Read more about HLL here.