Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Abstract-type And Scheme-definition Language

Scheme-Definition Language is a programming language for describing concrete semantics of other programming languages. It provides an abstract and executable view of the concrete language's formal semantics, offering tools for creating formal definitions. These definitions can be checked for consistency, compared to other languages or versions, and used to generate program analyzers or synthesis tools. Scheme-Definition Languages are often used in the field of language design to create new programming languages or evolve existing ones while maintaining semantic correctness.