Author:
Mera Edison,Trigo Teresa,Lopez-García Pedro,Hermenegildo Manuel
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;B. Brassel,2005
2. Byrd, L.: Understanding the Control Flow of Prolog Programs. In: Tärnlund, S.-A. (ed.) Proceedings of the 1980 Logic Programming Workshop, Debrecen, Hungary, pp. 127–138 (July 1980)
3. Debray, S.K.: Profiling Prolog Programs. Software Practice and Experience 18(9), 821–839 (1983)
4. Ducassé, M., Noyé, J.: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Journal of Logic Programming 43, 157–172 (2000)
5. Graham, S.L., Kessler, P.B., Mckusick, M.K.: Gprof: a Call Graph Execution Profiler. In: SIGPLAN 1982: Proc. of the 1982 SIGPLAN Symp. on Compiler Construction, pp. 120–126. ACM, New York (1982)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing Your (Static Analysis) Truths;Logic-Based Program Synthesis and Transformation;2021
2. Static Performance Guarantees for Programs with Runtime Checks;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03
3. Some trade-offs in reducing the overhead of assertion run-time checks via static analysis;Science of Computer Programming;2018-04
4. Reducing the overhead of assertion run-time checks via static analysis;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05
5. A general framework for static profiling of parametric resource usage;Theory and Practice of Logic Programming;2016-09