English Reduction strategy Cited by user Mathnerd314159 on 18 Aug 2021 In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation.
English Operational semantics Cited by user Lexi.lambda on 22 Jul 2021 Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security…
English Abstract semantic graph Cited by user Eptified on 01 Jul 2013 In computer science, an abstract semantic graph (ASG) or term graph is a form of abstract syntax in which an expression of a formal or programming language is…
English Term graph Cited by user Mark viking on 24 Jun 2013 A term graph is a representation of an expression in a formal language as a generalized graph whose vertices are terms.