Abstract Semantics for Alias Analysis in <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math>-Reference-Cited by-同舟云学术

Abstract Semantics for Alias Analysis in K

Author:

Asăvoae Irina Măriuca

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference21 articles.

1. Collecting Semantics under Predicate Abstraction in the K Framework;Asăvoae;Proc. WRLA, LNCS,2010

3. Reachability Analysis of Pushdown Automata: Application to Model Checking;Bouajjani;Proc. CONCUR, LNCS,1997

4. P. Cousot, Abstract Interpretation, MIT course 16.399, 2005.

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

1. Tailoring Taint Analysis for Database Applications in the K Framework;Proceedings of the 10th International Conference on Data Science, Technology and Applications;2021

2. K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework;Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering;2018

3. On the verification of SCOOP programs;Science of Computer Programming;2017-01

4. Expression-Based Aliasing for OO–languages;Communications in Computer and Information Science;2015