Prolog with arrays and bounded quantifications-Reference-Cited by-同舟云学术

Prolog with arrays and bounded quantifications

Published:1993 Issue: Volume: Page:28-39
ISSN:0302-9743
Container-title:Logic Programming and Automated Reasoning
language:
Short-container-title:

Author:

Barklund Jonas,Bevemyr Johan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56944-8_39.pdf

Reference22 articles.

1. Anderson, S. and Hudak, P., Compilation of Haskell Array Comprehensions for Scientific Computing, in: Proc. SIGPLAN '90 Conf. on Programming Language Design and Implementation, ACM Press, New York, N.Y., 1990.

2. Arro, H., Barklund, J. and Bevemyr, J., Parallel Bounded Quantifications— Preliminary Results, UPMAIL Tech. Rep. 74, Comp. Sci. Dept., Uppsala Univ., Uppsala, 1993, to appear in SIGPLAN Notices.

3. Barklund, J. and Bevemyr, J., Executing Bounded Quantifications on Shared Memory Multiprocessors, submitted to PLILP'93, 1993.

4. Barklund, J. and Bevemyr, J., Prolog with Arrays and Bounded Quantifications, UPMAIL Tech. Rep. 77, Comp. Sci. Dept., Uppsala Univ., Uppsala, 1993.

5. Barklund, J. and Millroth, H., Integrating Complex Data Structures in Prolog, in: S. Haridi (ed.), Proc. 1987 Symp. on Logic Programming, Comp. Soc. Press of the IEEE, Washington, D.C., 1987.

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

1. ECLiPSe – From LP to CLP;Theory and Practice of Logic Programming;2011-09-12

2. Sequence Quantification;Practical Aspects of Declarative Languages;2002-12-16

3. Logical Loops;Logic Programming;2002

4. Formulas as Programs;The Logic Programming Paradigm;1999

5. Resolution for logic programming with universal quantifiers;Lecture Notes in Computer Science;1997