Class information for:
Level 1: SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION

Basic class information
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
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
176 2             COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 21406
4056 1                   SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION 1889

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 SEPARATION LOGIC authKW 1176639 5% 77% 92
2 ACM SIGPLAN NOTICES journal 776352 25% 10% 475
3 ABSTRACT INTERPRETATION authKW 657554 7% 32% 124
4 VERIFICATION authKW 552829 18% 10% 344
5 LANGUAGES authKW 402973 14% 9% 256
6 PROGRAM VERIFICATION authKW 330224 3% 30% 66
7 PREDICATE ABSTRACTION authKW 311759 2% 64% 29
8 STATIC ANALYSIS authKW 292957 6% 15% 117
9 PROOF CARRYING CODE authKW 244664 1% 67% 22
10 BYTECODE VERIFICATION authKW 235000 1% 78% 18

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Software Engineering 163621 68% 1% 1276
2 Computer Science, Theory & Methods 51700 45% 0% 856
3 Logic 5712 4% 0% 73
4 Computer Science, Hardware & Architecture 1735 6% 0% 107
5 Computer Science, Artificial Intelligence 1608 8% 0% 155
6 Computer Science, Information Systems 1510 8% 0% 150
7 Mathematics, Applied 26 3% 0% 55
8 COMPUTER APPLICATIONS & CYBERNETICS 5 0% 0% 1
9 Engineering, Electrical & Electronic 0 3% 0% 59
10 Telecommunications -0 1% 0% 13

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 SOFTWARE SECUR 66731 0% 100% 4
2 LIST MEASI 33365 0% 100% 2
3 SMART CARDS 33365 0% 100% 2
4 SOFTWARE RELIABIL GRP 33365 0% 100% 2
5 DLSIIS 31601 0% 32% 6
6 IMINDS DISTRINET 24014 0% 24% 6
7 NIJMEGEN INFORMAT COMP SCI 22242 0% 67% 2
8 RELIABLE SOFTWARE 20527 0% 31% 4
9 COMP SCI 18414 22% 0% 423
10 ADV PROGRAMMING TOOLS TEAM 16683 0% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ACM SIGPLAN NOTICES 776352 25% 10% 475
2 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 84548 4% 7% 69
3 LECTURE NOTES IN COMPUTER SCIENCE 59485 30% 1% 562
4 FORMAL METHODS IN SYSTEM DESIGN 57400 2% 8% 42
5 SCIENCE OF COMPUTER PROGRAMMING 54335 4% 4% 73
6 FORMAL ASPECTS OF COMPUTING 52539 2% 9% 36
7 JOURNAL OF AUTOMATED REASONING 37414 2% 6% 40
8 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 30697 1% 12% 16
9 LOGICAL METHODS IN COMPUTER SCIENCE 29111 2% 5% 34
10 JOURNAL OF FUNCTIONAL PROGRAMMING 16546 1% 6% 18

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 SEPARATION LOGIC 1176639 5% 77% 92 Search SEPARATION+LOGIC Search SEPARATION+LOGIC
2 ABSTRACT INTERPRETATION 657554 7% 32% 124 Search ABSTRACT+INTERPRETATION Search ABSTRACT+INTERPRETATION
3 VERIFICATION 552829 18% 10% 344 Search VERIFICATION Search VERIFICATION
4 LANGUAGES 402973 14% 9% 256 Search LANGUAGES Search LANGUAGES
5 PROGRAM VERIFICATION 330224 3% 30% 66 Search PROGRAM+VERIFICATION Search PROGRAM+VERIFICATION
6 PREDICATE ABSTRACTION 311759 2% 64% 29 Search PREDICATE+ABSTRACTION Search PREDICATE+ABSTRACTION
7 STATIC ANALYSIS 292957 6% 15% 117 Search STATIC+ANALYSIS Search STATIC+ANALYSIS
8 PROOF CARRYING CODE 244664 1% 67% 22 Search PROOF+CARRYING+CODE Search PROOF+CARRYING+CODE
9 BYTECODE VERIFICATION 235000 1% 78% 18 Search BYTECODE+VERIFICATION Search BYTECODE+VERIFICATION
10 SOFTWARE MODEL CHECKING 208508 1% 50% 25 Search SOFTWARE+MODEL+CHECKING Search SOFTWARE+MODEL+CHECKING

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.

Classes with closest relation at Level 1


rank cluster_id2 link
1 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS
2 13265 TRANSACTIONAL MEMORY//DATA RACES//CONCURRENCY BUGS
3 9518 REGISTER ALLOCATION//POINTER ANALYSIS//PARTIAL REDUNDANCY ELIMINATION
4 10492 JOURNAL OF AUTOMATED REASONING//MIZAR//AUTOMATED THEOREM PROVING
5 25205 RETURN ORIENTED PROGRAMMING//GATE LEVEL INFORMATION FLOW TRACKING//PROBABILISTIC MEMORY SAFETY
6 31352 ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM
7 9040 DEPENDENT TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING//TYPE INFERENCE
8 9739 FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA
9 5368 ASPECT ORIENTED PROGRAMMING//ACM SIGPLAN NOTICES//PLEIAD
10 16447 PROGRAM SLICING//FAULT LOCALIZATION//DYNAMIC SLICING

Go to start page