Search Results - "Declarative programming paradigm"

Program verification and refactoring in answer set programming

Authors: Temple, Nathan

Subject Terms: Refactoring, Safety in logic programs, Formal methods, Prime numbers, Computational domains, Local tightness, Bishops on a chessboard, Logic programming, Equivalence verification, Combinatorial problems, Program verification, Program behavior preservation, Vampire theorem prover, Composite numbers, Optimization in ASP, Declarative programming paradigm, Anthem verification tool, Two-sorted first-order logic, Answer set programming (ASP), Induction axioms