Author:
Rodrigues Vítor,Florido Mário,de Sousa Simão Melo
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. AbsInt. Angewandte informatik., http://www.absint.com/pag/
2. Lecture Notes in Computer Science;F. Bourdoncle,1993
3. Lecture Notes in Computer Science;B. Brassel,2008
4. Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Electronic Notes in Theoretical Computer Science 6 (1997)
5. Cousot, P.: The calculational design of a generic abstract interpreter. In: Broy, M., Steinbrüggen, R. (eds.) Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Certifying execution time in multicores;Science of Computer Programming;2015-11
2. A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction;Practical Aspects of Declarative Languages;2013
3. Certifying Execution Time;Foundational and Practical Aspects of Resource Analysis;2012