Abstract Interpretation-Based Certification of Assembly Code

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/3-540-36384-x_7 ◽

2002 ◽

pp. 41-55 ◽

Author(s):

Xavier Rival

Keyword(s):

Abstract Interpretation ◽

Download Full-text

Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation

The Computer Journal ◽

10.1093/comjnl/47.1.25 ◽

2004 ◽

Vol 47 (1) ◽

pp. 25-45 ◽

Author(s):

R. Barbuti

Keyword(s):

Information Flow ◽

Abstract Interpretation ◽

Flow Properties ◽

Download Full-text

Aerospace series. Tie Rod with integrated bolts. Assembly Code G, H and K

10.3403/30340449u ◽

2017 ◽

Keyword(s):

Download Full-text

Aerospace series. Tie rod with integrated bolts. Assembly code D, E and F

10.3403/30340447 ◽

2017 ◽

Keyword(s):

Download Full-text

Program Verification Techniques Based on the Abstract Interpretation Theory

Journal of Software ◽

10.3724/sp.j.1001.2008.00017 ◽

2008 ◽

Vol 19 (1) ◽

pp. 17-26 ◽

Author(s):

Meng-Jun LI

Keyword(s):

Program Verification ◽

Abstract Interpretation ◽

Verification Techniques

Download Full-text

Verification of Erlang programs using abstract interpretation and model checking

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317908 ◽

1999 ◽

Author(s):

Frank Huch

Keyword(s):

Model Checking ◽

Abstract Interpretation

Download Full-text

Tracing compilation by abstract interpretation

ACM SIGPLAN Notices ◽

10.1145/2578855.2535866 ◽

2014 ◽

Vol 49 (1) ◽

pp. 47-59

Author(s):

Stefano Dissegna ◽

Francesco Logozzo ◽

Francesco Ranzato

Keyword(s):

Abstract Interpretation

Download Full-text

Semantic parallelization: a practical exercise in abstract interpretation

Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 ◽

10.1145/41625.41629 ◽

1987 ◽

Author(s):

P. Jouvelot

Keyword(s):

Abstract Interpretation

Download Full-text

Stable relations and abstract interpretation of higher-order programs

Proceedings of the ACM on Programming Languages ◽

10.1145/3409001 ◽

2020 ◽

Vol 4 (ICFP) ◽

pp. 1-30 ◽

Author(s):

Benoît Montagu ◽

Thomas Jensen

Keyword(s):

Abstract Interpretation ◽

Download Full-text

Sound and reusable components for abstract interpretation

Proceedings of the ACM on Programming Languages ◽

10.1145/3360602 ◽

2019 ◽

Vol 3 (OOPSLA) ◽

pp. 1-28 ◽

Author(s):

Sven Keidel ◽

Sebastian Erdweg

Keyword(s):

Abstract Interpretation ◽

Reusable Components

Download Full-text

Modular verification of concurrent assembly code with dynamic thread creation and termination

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 ◽

10.1145/1086365.1086399 ◽

2005 ◽

Author(s):

Xinyu Feng ◽

Zhong Shao

Keyword(s):

Assembly Code ◽

Modular Verification

Download Full-text