Browse Research and Tech Reports - Computer Science by Subject "first order logic"

Rewriting logic semantics (RLS) is a definitional framework in
which a programming language is defined as a rewrite theory: the algebraic
signature defines the program configurations, the equations
define structural ...