Dynamic detection of determinism in functional logic languages-Reference-Cited by-同舟云学术

Dynamic detection of determinism in functional logic languages

Published:1991 Issue: Volume: Page:335-346
ISSN:0302-9743
Container-title:Programming Language Implementation and Logic Programming
language:
Short-container-title:

Author:

Loogen Rita,Winkler Stephan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54444-5_110.pdf

Reference18 articles.

1. G.P. Balboni, P.G. Bosco, C. Cecchi, R. Melen, C. Moiso, G. Sofi: Implementation of a Parallel Logic Plus Functional Language, in: P. Treleaven (ed.), Parallel Computers: Object Oriented, Functional and Logic, Wiley 1989.

2. M. Bellia, G. Levi: The Relation between Logic and Functional Languages, Journal of Logic Programming, Vol.3, 1986, 217–236.

3. P.G.Bosco, C.Cecchi, C.Moiso: An extension of WAM for K-LEAF: A WAM-based compilation of conditional narrowing, Int. Conf. on Logic Programming, Lisboa, 1989.

4. P.G.Bosco, C.Cecchi, E.Giovannetti, C.Moiso, C.Palamidessi: Using resolution for a sound and efficient integration of logic and functional programming, in: J.de Bakker (ed.): Languages for Parallel Architectures: Design, Semantics, Implementation Models, Wiley 1989.

5. M.M.T.Chakravarty, H.C.R.Lock: The Implementation of Lazy Narrowing, Symp. on Prog. Language Impl. and Logic Prog. (PLILP) 1991, LNCS, Springer Verlag 1991.

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

1. Dynamic-Cut with Definitional Trees;Functional and Logic Programming;2002

2. Normalizing narrowing for weakly terminating and confluent systems;Principles and Practice of Constraint Programming — CP '95;1995

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

4. Relating the implementation techniques of functional and functional logic languages;New Generation Computing;1993-06

5. A demand driven computation strategy for lazy narrowing;Lecture Notes in Computer Science;1993