CTO CLiki for the TUNES project

Home Recent Changes About CLiki Text Formatting Create New Page

DSL

An acronym for Domain-Specific Language.

This page is linked from: Cryptol Methods of Migration

Edit page | View source | Revisions: 0 |

CTO pages can be modified by anyone at anytime. Imagine an appropriate disclaimer. Double it. Add two.