Corpus ID: 199405473

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

@article{Perera2019TheMO,
  title={The meaning of a program change is a change to the program's meaning},
  author={Roly Perera},
  journal={ArXiv},
  year={2019},
  volume={abs/1908.00898}
}
  • Roly Perera
  • Published 2019
  • Computer Science
  • ArXiv
  • 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. 

    Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 29 REFERENCES
    Programming Environments Based on Structured Editors: The MENTOR Experience,
    120
    The Cornell program synthesizer: a syntax-directed programming environment
    207
    Imperative functional programs that explain their work
    8
    Living it up with a live programming language
    72
    Live functional programming with typed holes
    19
    Expression continuity and the formal differentiation of algorithms
    30
    Refactoring: to the rubicon... and beyond!
    7
    Applications, languages and tools
    92
    Refactoring improving the design of existing code
    1490