Program extrapolation with jennisys

@inproceedings{Leino2012ProgramEW,
  title={Program extrapolation with jennisys},
  author={K. Rustan M. Leino and Aleksandar Milicevic},
  booktitle={OOPSLA},
  year={2012}
}
The desired behavior of a program can be described using an abstract model. Compiling such a model into executable code requires advanced compilation techniques known as synthesis. This paper presents an object-based language, called Jennisys, where programming is done by introducing an abstract model, defining a concrete data representation for the model, and then being aided by automatic synthesis to produce executable code. The paper also presents a synthesis technique for the language. The… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…