Automatic mode inference for logic programs-Reference-Cited by-同舟云学术

Automatic mode inference for logic programs

Published:1988-09 Issue:3 Volume:5 Page:207-229
ISSN:0743-1066
Container-title:The Journal of Logic Programming
language:en
Short-container-title:The Journal of Logic Programming

Author:

Debray Saumya K.,Warren David S.

Publisher

Elsevier BV

Subject

Logic

Reference22 articles.

1. An Amateur's Introduction to Recursive Query Processing Strategies;Bancilhon,1986

2. Adding Redundancy to Obtain More Reliable and More Readable Prolog Programs;Bruynooghe;Proceedings of the 1st International Logic Programming Conference,1982

3. The Memory Management of PROLOG Implementations;Bruynooghe,1982

4. Compile Time Garbage Collection;Bruynooghe,1986

5. Abstract Interpretation: Towards the Global Optimization of Prolog Programs;Bruynooghe;Proceedings of the 4th IEEE Symposium on Logic Programming,1987

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

1. A Case Study in Functional Conversion and Mode Inference in miniKanren;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. On Detecting Semantic Clones in Constraint Logic Programs;2022 IEEE 16th International Workshop on Software Clones (IWSC);2022-10

3. From LCF to Isabelle/HOL;Formal Aspects of Computing;2019-12

4. Automatic Reordering for Dataflow Safety of Datalog;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03

5. The gradualizer: a methodology and algorithm for generating gradual type systems;ACM SIGPLAN Notices;2016-04-08