Schema-based top-down design of logic programs using abstract data types-Reference-Cited by-同舟云学术

Schema-based top-down design of logic programs using abstract data types

Published:1994 Issue: Volume: Page:138-153
ISSN:0302-9743
Container-title:Logic Program Synthesis and Transformation — Meta-Programming in Logic
language:
Short-container-title:

Author:

Marakakis E.,Gallagher J. P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58792-6_9.pdf

Reference24 articles.

1. A. Aho, J. Hopcroft and J. Ullman, Data Structures and Algorithms, Addison-Wesley, 1983.

2. D. Barker-Plummer, Cliché Programming in Prolog, Proceedings of the Second Workshop on Meta-programming in Logic, (ed. M. Bruynooghe); April 1990, Belgium, pp.247–256.

3. M. Bruynooghe, Adding Redundancy to Obtain More Reliable and More Readable Prolog Programs, Proceedings of the First International Logic Programming Conference, Sept. 1982, Marseille, France, pp.129–133.

4. S. Debray, D. Warren, Automatic Mode Inference for Prolog Programs, Proceedings of the Symposium on Logic Programming, Salt Lake City, Utah, Sept. 1986, pp.78–88.

5. Y. Deville, J. Burnay, Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs, Proc. of the North American Conference on Logic Programming, 1989, (eds. E. Lusk and R. Overbeek); pp.409–425, vol. I.

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

1. On Correct Program Schemas;Logic Program Synthesis and Transformation;1998

2. Towards a logic programming methodology based on higher-order predicates;New Generation Computing;1997-12