1975 · 24 citations · 0 references
ComputingComputer EngineeringComputer ScienceFormal MethodsProgramming LanguagesSemanticsAbstract Syntax TreesFormal Language FoundationsFormal LanguagesFormal SemanticsSpecification LanguagesType SystemsAttribute DefinitionGrammar FormalismsLanguage SyntaxStructural Operational SemanticsStructural Properties Of Languages