Concepedia
IFIP Congress · 1980 · 15 citations · 0 references
ComputingComputer ScienceProgramming LanguagesSemanticsSyntaxFormal SemanticsLexical RelationsProgramming Language DesignSpecification LanguagesSyntax-semantics InterfaceType SystemsAbstract SemanticsSemantic RelationshipsStatic Semantics