Concepedia
1975 · 332 citations · 0 references
ComputingComputer ScienceFormal MethodsProgramming LanguagesSyntaxAbstract Syntax TreesData RepresentationData TypesData-flow AnalysisType CheckingType SystemsAbstract Data TypesAbstract TypesType Specification