Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction-Reference-Cited by-同舟云学术

Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction

Published:1989 Issue: Volume: Page:92-108
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Darlington John,Guo Yi-ke

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51081-8_102.pdf

Reference22 articles.

1. Bellia,M. and Giorgio, L. "The Relation Between Logic and Functional Language: A Survey" The Journal of Logic Programming 3, Oct. 1986.

2. Burstall R. et.al. "Hope: an experimental applicative language" Proc. Lisp Conf. Stanford. 1980.

3. Darlington, J. Field, A.J. and Pull, H. "The unification of Functional and Logic languages" in Logic Programming: Functions, Relations and Equations, ed. Doug Degroot and G. Lindstrom, Prentice-Hall, 1986.

4. Darlington, J. et.al. "A Functional Programming Environment Supporting Execution, Partial Execution and Transformation" To appear.

5. Dershowitz, N. and Plaisted, D.A. "Equational programming" in Machine Intelligence, D.Michie, J.E. Hayes and J. Richards, eds., 1986.

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

1. Termination of narrowing via termination of rewriting;Applicable Algebra in Engineering, Communication and Computing;2010-02-25

2. Narrowing the narrowing space;Lecture Notes in Computer Science;1997

3. An overview of the Flagship system;Journal of Functional Programming;1994-01

4. Combining lazy narrowing and simplification;Programming Language Implementation and Logic Programming;1994

5. Lazy unification with simplification;Programming Languages and Systems — ESOP '94;1994