Author:
Williams Kevin,Van Wyk Eric
Publisher
Springer International Publishing
Reference15 articles.
1. Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: Centaur: The system. SIGPLAN Not 24(2), 14–24 (1988)
2. Boyland, J.T.: Remote attribute grammars. J. ACM 52(4), 627–687 (2005)
3. Courcelle, B., Franchi-Zannettacci, P.: Attribute grammars and recursive program schemes I and II. Theoretical Computer Science 17(2), 163–191, 235–257 (1982)
4. van Deursen, A.: Origin tracking in primitive recursive schemes. In: Conf. Proc. Computing Science in the Netherlands. pp. 132–143, available as technical report CS-R9401. Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands (1993)
5. van Deursen, A., Klint, P., Tip, F.: Origin tracking. Journal of Symbolic Computation 15, 523–545 (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Property probes: Live exploration of program analysis results;Journal of Systems and Software;2024-05
2. Property Probes: Source Code Based Exploration of Program Analysis Results;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29