An application of abstract interpretation of logic programs: Occur check reduction-Reference-Cited by-同舟云学术

An application of abstract interpretation of logic programs: Occur check reduction

Published:1986 Issue: Volume: Page:327-338
ISSN:0302-9743
Container-title:ESOP 86
language:
Short-container-title:

Author:

Søndergaard Harald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-16442-1_25.pdf

Reference10 articles.

1. Cousot, P. and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. 4th ACM POPL Symp., Los Angeles, California (June 1977) 238–252

2. Eder, E., Properties of substitutions and unifications, Journal of Symbolic Computation 1,1 (March 1985) 31–46

3. Jones, N. D., P. Sestoft and H. Søndergaard, An experiment in partial evaluation: The generation of a compiler generator, in LNCS 202: Rewriting Techniques and Applications (ed. J.-P. Jouannaud), Springer Verlag (1985) 124–140

4. Kowalski, R., A proof procedure using connection graphs, Journal of the ACM 22,4 (October 1975) 572–595

5. DAI Research Paper;C. S. Mellish,1981

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

1. Compiled, Extensible, Multi-language DSLs (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15

2. Algorithmic logic-based verification;ACM SIGLOG News;2015-04-22

3. On the interaction between sharing and linearity;Theory and Practice of Logic Programming;2009-09-24

4. Optimality in goal-dependent analysis of Sharing;Theory and Practice of Logic Programming;2009-07-31

5. Non-discriminating Arguments and Their Uses;Logic Programming;2009