Specialisation of Prolog and FCP programs using abstract interpretation-Reference-Cited by-同舟云学术

Specialisation of Prolog and FCP programs using abstract interpretation

Published:1988-09 Issue:2-3 Volume:6 Page:159-186
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Gallagher John,Codish Michael,Shapiro Ehud

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037136.pdf

Reference23 articles.

1. Cousot, P. and Cousot, R., “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints,”POPL 77.

2. Mycroft, A., “Abstract Interpretation and Optimising Transformations for Applicative Programs, “Ph. D Thesis, University of Edinburgh, Dept. of Comp. Sci., Dec., 1981.

3. Bruynooghe, M., Janssens, G., Callebaut, A. and Demoen, B., “Abstract Interpretation: Towards the Global Optimisation of Prolog Programs,”Proceedings of IEEE Symposium on Logic Programming, San Francisco, 1987.

4. Debray, S. K., “Global Optimizations of Logic Programs,”Ph. D Thesis, State University of New York at Stony Brook, December, 1986.

5. Jones, N. D. and Søndergaard, H., “A Semantics-Based Framework for the Abstract Interpretation of Prolog,” inAbstract Interpretation of Declarative Languages (S. Abramsky and C. Hankin eds.), Ellis Horwood, 1987.

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

1. Constraint specialisation in Horn clause verification;Science of Computer Programming;2017-04

2. Constraint Specialisation in Horn Clause Verification;Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation;2015-01-13

3. Abstract Interpretation with Specialized Definitions;Static Analysis;2006

4. Transformation by interpreter specialisation;Science of Computer Programming;2004-08

5. Abstract specialization and its applications;ACM SIGPLAN Notices;2003-10