Lambda-RTL

A language for the formal description of the semantics of machine instructions, based on lambda calculus and register transfer lists. One of the CSDL family of computer system description languages.