On Correct Program Schemas-Reference-Cited by-同舟云学术

On Correct Program Schemas

Published:1998 Issue: Volume: Page:128-147
ISSN:0302-9743
Container-title:Logic Program Synthesis and Transformation
language:
Short-container-title:

Author:

Flener Pierre,Lau Kung-Kiu,Ornaghi Mario

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49674-2_7

Reference29 articles.

1. D. Barker-Plummer. Cliche Programming in Prolog. In M. Bruynooghe, editor, Proc. META 90, pages 246–256, 1992.

2. E. Chasseur and Y. Deville. Logic program schemas, semi-unification and constraints. This volume.

3. N. Dershowitz. The Evolution of Programs. Birkhäuser, 1983.

4. Y. Deville and J. Burnay. Generalization and program schemata: A step towards computer-aided construction of logic programs. In E.L. Lusk and R.A. Overbeek, editors, Proc. NACLP’89, pages 409–425. MIT Press, 1989.

5. Y. Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Guided programming and automated error analysis in an intelligent Prolog tutor;International Journal of Human-Computer Studies;2004-10

2. Specifying Compositional Units for Correct Program Development in Computational Logic;Program Development in Computational Logic;2004

3. Synthesis of Programs in Computational Logic;Program Development in Computational Logic;2004

4. Composing Re-Usable Synthesis Methods through Graph-Based Viewpoints;Applied Logic Series;2000

5. Wellfounded Schematic Definitions;Automated Deduction - CADE-17;2000