DSL

An acronym for Domain-Specific Language.

This page is linked from: Cryptol   Methods of Migration