A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

2009 International Symposium on Code Generation and Optimization ◽

10.1109/cgo.2009.17 ◽

2009 ◽

Cited By ~ 10

Author(s):

Daniel Cordes ◽

Heiko Falk ◽

Peter Marwedel

Keyword(s):

Abstract Interpretation ◽

Program Slicing ◽

Loop Analysis

Download Full-text

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking

Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) ◽

10.1109/scam.2005.2 ◽

2006 ◽

Cited By ~ 8

Author(s):

Hyoung Seok Hong ◽

Insup Lee ◽

O. Sokolsky

Keyword(s):

Model Checking ◽

Abstract Interpretation ◽

Program Slicing ◽

New Approach

Download Full-text

Magnetic resonance imaging and PV loop analysis for cardiac evaluation in small mice. A comparative analysis

The Thoracic and Cardiovascular Surgeon ◽

10.1055/s-0030-1268965 ◽

2011 ◽

Vol 59 (S 01) ◽

Author(s):

A Martens ◽

SV Rojas ◽

C Rathert ◽

I Gruh ◽

C Mauritz ◽

...

Keyword(s):

Magnetic Resonance Imaging ◽

Comparative Analysis ◽

Magnetic Resonance ◽

Resonance Imaging ◽

Loop Analysis ◽

Cardiac Evaluation

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 ◽

Cited By ~ 5

Author(s):

Meng-Jun LI

Keyword(s):

Program Verification ◽

Abstract Interpretation ◽

Verification Techniques

Download Full-text

Real-time FPGA model in the loop analysis of Permanent Magnet Synchronous Machine for LEV

2016 International Conference and Exposition on Electrical and Power Engineering (EPE) ◽

10.1109/icepe.2016.7781336 ◽

2016 ◽

Cited By ~ 4

Author(s):

Mircea Ruba ◽

Nagy Hunor ◽

Horia Hedesiu ◽

Claudia Martis

Keyword(s):

Permanent Magnet ◽

Real Time ◽

Synchronous Machine ◽

Permanent Magnet Synchronous Machine ◽

Loop Analysis

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 ◽

Cited By ~ 12

Author(s):

Frank Huch

Keyword(s):

Model Checking ◽

Abstract Interpretation

Download Full-text

Program slicing under UML scenario models

ACM SIGPLAN Notices ◽

10.1145/1361213.1361216 ◽

2008 ◽

Vol 43 (2) ◽

pp. 21-24

Keyword(s):

Program Slicing

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

Author(s):

Benoît Montagu ◽

Thomas Jensen

Keyword(s):

Abstract Interpretation ◽

Higher Order

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 ◽

Cited By ~ 1

Author(s):

Sven Keidel ◽

Sebastian Erdweg

Keyword(s):

Abstract Interpretation ◽

Reusable Components

Download Full-text