Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 11970 | 877 | 26.1 | 18% |
Classes in level above (level 2) |
| ID, lev. above |
Publications | Label for level above |
|---|---|---|
| 1026 | 9754 | LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC |
Terms with highest relevance score |
| Rank | Term | Type of term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|---|
| 1 | PARTIAL EVALUATION | Author keyword | 16 | 30% | 5% | 46 |
| 2 | CPS TRANSFORMATION | Author keyword | 15 | 88% | 1% | 7 |
| 3 | BINDING TIME ANALYSIS | Author keyword | 11 | 69% | 1% | 9 |
| 4 | DELIMITED CONTINUATIONS | Author keyword | 11 | 69% | 1% | 9 |
| 5 | CONTINUATION PASSING STYLE CPS | Author keyword | 10 | 73% | 1% | 8 |
| 6 | CONTINUATIONS | Author keyword | 9 | 31% | 3% | 25 |
| 7 | SOFTWARE PROD TECHNOL | Address | 8 | 75% | 1% | 6 |
| 8 | DIKU | Address | 7 | 25% | 3% | 26 |
| 9 | PROGRAM SPECIALIZATION | Author keyword | 7 | 43% | 1% | 13 |
| 10 | MULTI STAGE PROGRAMMING | Author keyword | 7 | 64% | 1% | 7 |
Web of Science journal categories |
Author Key Words |
| Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | PARTIAL EVALUATION | 16 | 30% | 5% | 46 | Search PARTIAL+EVALUATION | Search PARTIAL+EVALUATION |
| 2 | CPS TRANSFORMATION | 15 | 88% | 1% | 7 | Search CPS+TRANSFORMATION | Search CPS+TRANSFORMATION |
| 3 | BINDING TIME ANALYSIS | 11 | 69% | 1% | 9 | Search BINDING+TIME+ANALYSIS | Search BINDING+TIME+ANALYSIS |
| 4 | DELIMITED CONTINUATIONS | 11 | 69% | 1% | 9 | Search DELIMITED+CONTINUATIONS | Search DELIMITED+CONTINUATIONS |
| 5 | CONTINUATION PASSING STYLE CPS | 10 | 73% | 1% | 8 | Search CONTINUATION+PASSING+STYLE+CPS | Search CONTINUATION+PASSING+STYLE+CPS |
| 6 | CONTINUATIONS | 9 | 31% | 3% | 25 | Search CONTINUATIONS | Search CONTINUATIONS |
| 7 | PROGRAM SPECIALIZATION | 7 | 43% | 1% | 13 | Search PROGRAM+SPECIALIZATION | Search PROGRAM+SPECIALIZATION |
| 8 | MULTI STAGE PROGRAMMING | 7 | 64% | 1% | 7 | Search MULTI+STAGE+PROGRAMMING | Search MULTI+STAGE+PROGRAMMING |
| 9 | ABSTRACT MACHINES | 6 | 31% | 2% | 17 | Search ABSTRACT+MACHINES | Search ABSTRACT+MACHINES |
| 10 | METACOMPUTATION | 6 | 100% | 0% | 4 | Search METACOMPUTATION | Search METACOMPUTATION |
Key Words Plus |
| Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | AUTOMATIC AUTOPROJECTION | 27 | 92% | 1% | 11 |
| 2 | RECURSIVE EQUATIONS | 19 | 74% | 2% | 14 |
| 3 | SEQUENTIAL CONTROL | 12 | 86% | 1% | 6 |
| 4 | CONTINUATIONS | 6 | 50% | 1% | 9 |
| 5 | ABSTRACT MACHINES | 6 | 53% | 1% | 8 |
| 6 | PROGRAM SPECIALIZATION | 5 | 63% | 1% | 5 |
| 7 | DELIMITED CONTINUATIONS | 4 | 75% | 0% | 3 |
| 8 | UNIVERSAL RESOLVING ALGORITHM | 3 | 57% | 0% | 4 |
| 9 | SCP4 | 3 | 100% | 0% | 3 |
| 10 | SYNTACTIC THEORY | 3 | 100% | 0% | 3 |
Journals |
| Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | JOURNAL OF FUNCTIONAL PROGRAMMING | 4 | 12% | 4% | 32 |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| A syntactic correspondence between context-sensitive calculi and abstract machines | 2007 | 5 | 18 | 67% |
| A RATIONAL DECONSTRUCTION OF LANDIN'S SECD MACHINE WITH THE J OPERATOR | 2008 | 2 | 20 | 75% |
| Abstract machines for programming language implementation | 2000 | 13 | 17 | 35% |
| THE EVOLUTION OF LISP | 1993 | 8 | 13 | 38% |
| A survey of semantic description frameworks for programming languages | 2004 | 8 | 35 | 17% |
| Endowing advanced driver assistance systems with fault tolerance | 2015 | 0 | 5 | 20% |
| A BIBLIOGRAPHY ON ABSTRACT INTERPRETATION | 1986 | 0 | 3 | 67% |
Address terms |
| Rank | Address term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | SOFTWARE PROD TECHNOL | 8 | 75% | 0.7% | 6 |
| 2 | DIKU | 7 | 25% | 3.0% | 26 |
| 3 | COMPOSE GRP | 3 | 60% | 0.3% | 3 |
| 4 | COMPOSE PROJECT | 2 | 67% | 0.2% | 2 |
| 5 | DAIMI | 2 | 43% | 0.3% | 3 |
| 6 | FB INFORMAT 14 | 1 | 31% | 0.5% | 4 |
| 7 | UPMARC | 1 | 50% | 0.1% | 1 |
| 8 | GR H COMP SCI | 0 | 20% | 0.2% | 2 |
| 9 | CENT INFORMAT TECHNOL SERV | 0 | 33% | 0.1% | 1 |
| 10 | ESP SO GRP | 0 | 33% | 0.1% | 1 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000231311 | FUNCTIONAL REACTIVE PROGRAMMING//LANGUAGE EMBEDDINGS//DACTL |
| 2 | 0.0000179019 | LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING |
| 3 | 0.0000174204 | CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM |
| 4 | 0.0000161817 | WORK STEALING//SOFTWARE TECHNOL PROGRAMMING LANGUAGES//SINGLE ASSIGNMENT C |
| 5 | 0.0000153423 | JOURNAL OF LOGIC PROGRAMMING//THEORY AND PRACTICE OF LOGIC PROGRAMMING//ABSTRACT INTERPRETATION |
| 6 | 0.0000119071 | PROGRAM SLICING//PARTIAL REDUNDANCY ELIMINATION//POINTS TO ANALYSIS |
| 7 | 0.0000115537 | BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC |
| 8 | 0.0000111191 | LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS |
| 9 | 0.0000110853 | LR PARSING//ATTRIBUTE GRAMMARS//ASF PLUS SDF |
| 10 | 0.0000092199 | CODE GENERATOR GENERATOR//ITERATIVE COMPILATION//ADAPTIVE COMPILATION |