AI Chat AI Image Generator AI Video Text to Speech

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

08/02/2019

∙

by Roly Perera, et al.

∙

∙

Programming is the activity of modifying a program in order to bring about specific changes in its behaviour. Yet programming language theory almost exclusively focuses on the meaning of programs. We motivate a "change-oriented" viewpoint from which the meaning of a program change is a change to the program's meaning.

page 1

page 2

page 3

research

∙ 05/27/2023

External Behavior of a Logic Program and Verification of Refactoring

Refactoring is modifying a program without changing its external behavio...

0 Jorge Fandinno, et al. ∙

research

∙ 07/12/2019

Language Support for Adaptation: Intent-Driven Programming in FAST

Historically, programming language semantics has focused on assigning a ...

0 Yao-Hsiang Yang, et al. ∙

research

∙ 08/31/2011

Every Formula-Based Logic Program Has a Least Infinite-Valued Model

Every definite logic program has as its meaning a least Herbrand model w...

0 Rainer Lüdecke, et al. ∙

research

∙ 09/13/2019

That's C, baby. C!

Hardly a week goes by at BUGSENG without having to explain to someone th...

0 Roberto Bagnara, et al. ∙

research

∙ 10/23/2019

RationalizeRoots: Software Package for the Rationalization of Square Roots

The computation of Feynman integrals often involves square roots. One wa...

0 Marco Besier, et al. ∙

research

∙ 06/15/2021

Introducing Type Properties

In type theory, we can express many practical ideas by attributing some ...

0 Aziz Akhmedkhodjaev, et al. ∙

research

∙ 04/28/2020

KoParadigm: A Korean Conjugation Paradigm Generator

Korean is a morphologically rich language. Korean verbs change their for...

0 Kyubyong Park, et al. ∙