Publication | Closed Access

An interpreter for a language for describing assemblies

High-level Programming LanguageSyntaxEngineeringProgram AnalysisAutomated ReasoningComputational LinguisticsFormal MethodsInterpreter (Computing)Intermediate RepresentationLanguage StudiesSemanticsLinguistics