An Abstract Formalisation of Correct Schemas for Program
Synthesis.
P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson.
Journal of Symbolic Computation 30(1):93-127, July 2000.
[Abstract] [Paper]
[BibTeX]
ASE'99 Tutorial: Schema-Guided Generation of Correctly Reusable
Programs.
P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson. Tutorial notes for
tutorial at the Twelfth IEEE International Automated Software
Engineering Conference, Cocoa Beach, Florida, USA, 12-15 October 1999.
[Slides]
On Correct Program Schemas.
P. Flener, K.-K. Lau, and M. Ornaghi.
In N.E. Fuchs, editor, Proceedings of LOPSTR'97,
Lecture Notes in Computer Science 1463:124-143, Springer-Verlag,
1998.
[Abstract] [Paper]
[BibTeX]
Correct-schema-guided Synthesis of Steadfast Programs.
P. Flener, K.-K. Lau, and M. Ornaghi. In Proceedings of the Twelfth IEEE
International Automated Software Engineering Conference, pages
153-160, IEEE Computer Society, 1997.
[Abstract] [Paper]
[BibTeX]