Class information for:
Level 1: ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
6407 1489 30.4 30%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
6407 1                   ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION 1489

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 ABSTRACT INTERPRETATION authKW 1043744 9% 36% 140
2 SEPARATION LOGIC authKW 469833 3% 44% 52
3 PREDICATE ABSTRACTION authKW 419414 2% 68% 30
4 ACM SIGPLAN NOTICES journal 415856 21% 6% 313
5 VERIFICATION authKW 369727 17% 7% 250
6 STATIC ANALYSIS authKW 300756 7% 14% 104
7 PROGRAM VERIFICATION authKW 285768 4% 25% 55
8 SATISFIABILITY MODULO THEORIES authKW 246436 2% 48% 25
9 SOFTWARE MODEL CHECKING authKW 246043 2% 50% 24
10 COMPILER VERIFICATION authKW 165406 1% 73% 11

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Computer Science, Software Engineering 106856 62% 1% 917
2 Computer Science, Theory & Methods 47965 49% 0% 733
3 Logic 6909 5% 0% 71
4 Computer Science, Artificial Intelligence 2952 12% 0% 180
5 Computer Science, Hardware & Architecture 1539 6% 0% 89
6 Computer Science, Information Systems 1232 8% 0% 119
7 Mathematics, Applied 119 5% 0% 73
8 COMPUTER APPLICATIONS & CYBERNETICS 6 0% 0% 1
9 Mathematics, Interdisciplinary Applications 0 1% 0% 9
10 Computer Science, Interdisciplinary Applications 0 1% 0% 12

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 LIST MEASI 41011 0% 100% 2
2 SOFTWARE RELIABIL GRP 41011 0% 100% 2
3 DLSIIS 28473 0% 28% 5
4 VERIMAG 25150 1% 14% 9
5 ADV PROGRAMMING TOOLS TEAM 20506 0% 100% 1
6 DIPARTIMENTO SCI POLITICHE SCI COMUNICAZ INGN I 20506 0% 100% 1
7 DTSI SLA 20506 0% 100% 1
8 DTSILIST 20506 0% 100% 1
9 E EQUAT 20506 0% 100% 1
10 ELIAUS DALI 20506 0% 100% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 ACM SIGPLAN NOTICES 415856 21% 6% 313
2 FORMAL METHODS IN SYSTEM DESIGN 127999 4% 11% 56
3 LECTURE NOTES IN COMPUTER SCIENCE 52526 32% 1% 476
4 SCIENCE OF COMPUTER PROGRAMMING 47245 4% 4% 61
5 JOURNAL OF AUTOMATED REASONING 44355 3% 6% 39
6 FORMAL ASPECTS OF COMPUTING 28132 2% 6% 23
7 LOGICAL METHODS IN COMPUTER SCIENCE 27231 2% 5% 29
8 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 26943 2% 4% 35
9 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 24182 1% 10% 12
10 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 14168 1% 5% 15

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 ABSTRACT INTERPRETATION 1043744 9% 36% 140 Search ABSTRACT+INTERPRETATION Search ABSTRACT+INTERPRETATION
2 SEPARATION LOGIC 469833 3% 44% 52 Search SEPARATION+LOGIC Search SEPARATION+LOGIC
3 PREDICATE ABSTRACTION 419414 2% 68% 30 Search PREDICATE+ABSTRACTION Search PREDICATE+ABSTRACTION
4 VERIFICATION 369727 17% 7% 250 Search VERIFICATION Search VERIFICATION
5 STATIC ANALYSIS 300756 7% 14% 104 Search STATIC+ANALYSIS Search STATIC+ANALYSIS
6 PROGRAM VERIFICATION 285768 4% 25% 55 Search PROGRAM+VERIFICATION Search PROGRAM+VERIFICATION
7 SATISFIABILITY MODULO THEORIES 246436 2% 48% 25 Search SATISFIABILITY+MODULO+THEORIES Search SATISFIABILITY+MODULO+THEORIES
8 SOFTWARE MODEL CHECKING 246043 2% 50% 24 Search SOFTWARE+MODEL+CHECKING Search SOFTWARE+MODEL+CHECKING
9 COMPILER VERIFICATION 165406 1% 73% 11 Search COMPILER+VERIFICATION Search COMPILER+VERIFICATION
10 TRANSLATION VALIDATION 164037 1% 67% 12 Search TRANSLATION+VALIDATION Search TRANSLATION+VALIDATION

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 KROENING, D , SHARYGINA, N , TONETTA, S , TSITOVICH, A , WINTERSTEIGER, CM , (2013) LOOP SUMMARIZATION USING STATE AND TRANSITION INVARIANTS.FORMAL METHODS IN SYSTEM DESIGN. VOL. 42. ISSUE 3. P. 221-261 25 96% 3
2 CHEN, LQ , LI, RJ , WU, XG , WANG, J , (2014) STATIC ANALYSIS OF LISTS BY COMBINING SHAPE AND NUMERICAL ABSTRACTIONS.SCIENCE OF COMPUTER PROGRAMMING. VOL. 95. ISSUE . P. 320 -342 18 100% 0
3 QIU, XK , GARG, P , STEFANESCU, A , MADHUSUDAN, P , (2013) NATURAL PROOFS FOR STRUCTURE, DATA, AND SEPARATION.ACM SIGPLAN NOTICES. VOL. 48. ISSUE 6. P. 231-242 18 100% 3
4 IVANCIC, F , BALAKRISHNAN, G , GUPTA, A , SANKARANARAYANAN, S , MAEDA, N , IMOTO, T , POTHENGIL, R , HUSSAIN, M , (2015) SCALABLE AND SCOPE-BOUNDED SOFTWARE VERIFICATION IN VARVEL.AUTOMATED SOFTWARE ENGINEERING. VOL. 22. ISSUE 4. P. 517 -559 19 86% 2
5 GALEOTTI, JP , FURIA, CA , MAY, E , FRASER, G , ZELLER, A , (2015) INFERRING LOOP INVARIANTS BY MUTATION, DYNAMIC ANALYSIS, AND STATIC CHECKING.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 41. ISSUE 10. P. 1019 -1037 20 83% 0
6 MUKHOPADHYAY, S , CHEN, HY , FLUR, S , (2015) TERMINATION PROOFS FOR LINEAR SIMPLE LOOPS.INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. VOL. 17. ISSUE 1. P. 47 -57 16 100% 1
7 BEYER, D , HENZINGER, TA , MAJUMDAR, R , (2007) PATH INVARIANTS.ACM SIGPLAN NOTICES. VOL. 42. ISSUE 6. P. 300 -309 20 95% 11
8 ARMANDO, A , BONACINA, MP , RANISE, S , SCHULZ, S , (2009) NEW RESULTS ON REWRITE-BASED SATISFIABILITY PROCEDURES.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 10. ISSUE 1. P. - 26 68% 13
9 D'SILVA, V , KROENING, D , WEISSENBACHER, G , (2008) A SURVEY OF AUTOMATED TECHNIQUES FOR FORMAL SOFTWARE VERIFICATION.IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. VOL. 27. ISSUE 7. P. 1165 -1178 24 69% 50
10 NIEUWENHUIS, R , OLIVERAS, A , TINELLI, C , (2006) SOLVING SAT AND SAT MODULO THEORIES: FROM AN ABSTRACT DAVIS-PUTNAM-LOGEMANN-LOVELAND PROCEDURE TO DPLL(T).JOURNAL OF THE ACM. VOL. 53. ISSUE 6. P. 937 -977 18 82% 178

Classes with closest relation at Level 1


Rank Class id link
1 12130 POINTER ANALYSIS//POINTS TO ANALYSIS//PARTIAL REDUNDANCY ELIMINATION
2 18723 THEOREM PROVING//SYMBOLIC TRAJECTORY EVALUATION//MULTIWAY DECISION GRAPHS
3 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
4 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
5 20701 INFORMATION FLOW CONTROL//BYTECODE VERIFICATION//LANGUAGE BASED SECURITY
6 7299 FORMAL ASPECTS OF COMPUTING//KLEENE ALGEBRA//EVENT B
7 20487 QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING
8 13393 TRANSACTIONAL MEMORY//DATA RACES//RELAXED MEMORY MODELS
9 13930 ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING
10 15574 PROGRAM SLICING//PROGRAM DEPENDENCE GRAPH//DYNAMIC SLICING

Go to start page