This is where programs begin. Jennisys is a programming language that emphasizes clean public interfaces and lets programmers describe the data structures they intend a private implementation to use. Code is underemphasized, and Jennisys attempts to synthesize code automatically from the public interface and the given data-structure description.
Source and Tool
- K. Rustan M. Leino
- Aleksandar Milicevic (MIT)
- Program Extrapolation with Jennisys. K. Rustan M. Leino and Aleksandar Milicevic. (This is a newer version of the Technical Report below.) To appear, OOPSLA 2012.
- K. Rustan M. Leino and Aleksandar Milicevic, Program Extrapolation with Jennisys, no. MSR-TR-2012-12, February 2012.