AI Chat AI Image Generator AI Video Text to Speech

External Behavior of a Logic Program and Verification of Refactoring

05/27/2023

∙

by Jorge Fandinno, et al.

∙

∙

Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of verifying that refactoring a program in that language is performed correctly.

Jorge Fandinno
30 publications
Zachary Hansen
1 publication
Yuliya Lierler
22 publications
Vladimir Lifschitz
16 publications
Nathan Temple
1 publication

page 1

page 2

page 3

page 4

research

∙ 08/05/2020

Modular Answer Set Programming as a Formal Specification Language

In this paper, we study the problem of formal verification for Answer Se...

0 Pedro Cabalar, et al. ∙

research

∙ 08/02/2019

The meaning of a program change is a change to the program's meaning

Programming is the activity of modifying a program in order to bring abo...

0 Roly Perera, et al. ∙

research

∙ 07/12/2019

Verified Self-Explaining Computation

Common programming tools, like compilers, debuggers, and IDEs, crucially...

0 Jan Stolarek, et al. ∙

research

∙ 05/24/2022

Properties of the Hebrew Calendar

We describe an ACL2 program that implements the Hebrew calendar and the ...

0 David M. Russinoff, et al. ∙

research

∙ 02/16/2018

Compositional Verification of Compiler Optimisations on Relaxed Memory

A valid compiler optimisation transforms a block in a program without in...

0 Mike Dodds, et al. ∙

research

∙ 06/25/2021

On Preserving the Behavior in Software Refactoring: A Systematic Mapping Study

Context: Refactoring is the art of modifying the design of a system with...

0 Eman Abdullah AlOmar, et al. ∙

research

∙ 09/20/2023

Design of Chain-of-Thought in Math Problem Solving

Chain-of-Thought (CoT) plays a crucial role in reasoning for math proble...

0 Zhanming Jie, et al. ∙