Deductive Object Programming

@article{Colonna2006DeductiveOP,
  title={Deductive Object Programming},
  author={François Colonna},
  journal={CoRR},
  year={2006},
  volume={abs/cs/0601035}
}
Preamble This document is a working document, it may never be published in a scientific journal. It is aimed at starting a discussion on the interest of the kind of programming method explained below. Any comments or corrections are welcomed can be written in color in this document and sent back to me. Abstract We propose some slight additions to O-O… CONTINUE READING