Class information for:
Level 1: PARTIAL EVALUATION//PROGRAM TRANSFORMATION//PROGRAM SPECIALIZATION

Basic class information

Class id #P Avg. number of
references
Database coverage
of references
8192 1282 26.8 19%



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
708 2             COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS 12890
8192 1                   PARTIAL EVALUATION//PROGRAM TRANSFORMATION//PROGRAM SPECIALIZATION 1282

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 PARTIAL EVALUATION authKW 826670 5% 54% 64
2 PROGRAM TRANSFORMATION authKW 334211 5% 24% 59
3 PROGRAM SPECIALIZATION authKW 286785 1% 71% 17
4 PARTIAL DEDUCTION authKW 244970 1% 86% 12
5 SUPERCOMPILATION authKW 238169 1% 100% 10
6 DIKU address 208029 2% 28% 31
7 MULTI STAGE PROGRAMMING authKW 205841 1% 79% 11
8 BINDING TIME ANALYSIS authKW 198471 1% 83% 10
9 DELIMITED CONTINUATIONS authKW 198471 1% 83% 10
10 CONTINUATIONS authKW 174628 2% 33% 22

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 67455 53% 0% 677
2 Computer Science, Theory & Methods 40754 49% 0% 627
3 Computer Science, Hardware & Architecture 2126 7% 0% 96
4 Logic 1810 3% 0% 34
5 Computer Science, Information Systems 1213 9% 0% 109
6 Computer Science, Artificial Intelligence 540 6% 0% 76
7 COMPUTER APPLICATIONS & CYBERNETICS 433 1% 0% 7
8 Mathematics, Applied 33 3% 0% 44
9 Computer Science, Cybernetics 1 0% 0% 2
10 Multidisciplinary Sciences 0 0% 0% 4

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 DIKU 208029 2% 28% 31
2 SOFTWARE PROD TECHNOL 145877 1% 88% 7
3 COMPOSE GRP 76212 0% 80% 4
4 COMPOSE PROJECT 71451 0% 100% 3
5 DSIC 52023 2% 11% 20
6 DIKU COMP SCI 47634 0% 100% 2
7 SOFTWARE METHODOL 47634 0% 100% 2
8 BRICS 42960 2% 8% 24
9 COMP SCI DIKU 33072 0% 28% 5
10 IASI 32729 1% 13% 11

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 159618 14% 4% 180
2 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 86042 5% 6% 58
3 JOURNAL OF FUNCTIONAL PROGRAMMING 71469 2% 10% 31
4 SCIENCE OF COMPUTER PROGRAMMING 66237 5% 4% 67
5 NEW GENERATION COMPUTING 46131 3% 6% 34
6 LECTURE NOTES IN COMPUTER SCIENCE 43936 32% 0% 404
7 SIGPLAN NOTICES 37561 4% 3% 52
8 JOURNAL OF LOGIC PROGRAMMING 21614 2% 5% 20
9 COMPUTER LANGUAGES 16948 1% 5% 14
10 THEORETICAL COMPUTER SCIENCE 6167 4% 0% 53

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 PARTIAL EVALUATION 826670 5% 54% 64 Search PARTIAL+EVALUATION Search PARTIAL+EVALUATION
2 PROGRAM TRANSFORMATION 334211 5% 24% 59 Search PROGRAM+TRANSFORMATION Search PROGRAM+TRANSFORMATION
3 PROGRAM SPECIALIZATION 286785 1% 71% 17 Search PROGRAM+SPECIALIZATION Search PROGRAM+SPECIALIZATION
4 PARTIAL DEDUCTION 244970 1% 86% 12 Search PARTIAL+DEDUCTION Search PARTIAL+DEDUCTION
5 SUPERCOMPILATION 238169 1% 100% 10 Search SUPERCOMPILATION Search SUPERCOMPILATION
6 MULTI STAGE PROGRAMMING 205841 1% 79% 11 Search MULTI+STAGE+PROGRAMMING Search MULTI+STAGE+PROGRAMMING
7 BINDING TIME ANALYSIS 198471 1% 83% 10 Search BINDING+TIME+ANALYSIS Search BINDING+TIME+ANALYSIS
8 DELIMITED CONTINUATIONS 198471 1% 83% 10 Search DELIMITED+CONTINUATIONS Search DELIMITED+CONTINUATIONS
9 CONTINUATIONS 174628 2% 33% 22 Search CONTINUATIONS Search CONTINUATIONS
10 CONTINUATION PASSING STYLE CPS 169363 1% 89% 8 Search CONTINUATION+PASSING+STYLE+CPS Search CONTINUATION+PASSING+STYLE+CPS

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 PETTOROSSI, A , PROIETTI, M , (1994) TRANSFORMATION OF LOGIC PROGRAMS - FOUNDATIONS AND TECHNIQUES.JOURNAL OF LOGIC PROGRAMMING. VOL. 20. ISSUE . P. 261 -320 40 80% 77
2 LEUSCHEL, M , BRUYNOOGHE, M , (2002) LOGIC PROGRAM SPECIALISATION THROUGH PARTIAL DEDUCTION: CONTROL ISSUES.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 2. ISSUE . P. 461 -515 37 70% 26
3 PETTOROSSI, A , PROIETTI, M , (1996) RULES AND STRATEGIES FOR TRANSFORMING FUNCTIONAL AND LOGIC PROGRAMS.ACM COMPUTING SURVEYS. VOL. 28. ISSUE 2. P. 360 -414 32 78% 47
4 GLENSTRUP, AJ , JONES, ND , (2005) TERMINATION ANALYSIS AND SPECIALIZATION-POINT INSERTION IN OFFLINE PARTIAL EVALUATION.ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. VOL. 27. ISSUE 6. P. 1147 -1215 23 82% 7
5 PETTOROSSI, A , PROIETTI, M , (2002) PROGRAM DERIVATION = RULES PLUS STRATEGIES.COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I. VOL. 2407. ISSUE . P. 273 -309 23 77% 1
6 DE SCHREYE, D , GLUCK, R , JORGENSEN, J , LEUSCHEL, M , MARTENS, B , SORENSEN, MH , (1999) CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, AND EXPERIMENTS.JOURNAL OF LOGIC PROGRAMMING. VOL. 41. ISSUE 2-3. P. 231 -277 20 91% 36
7 CHRISTENSEN, NH , GLUCK, R , (2004) OFFLINE PARTIAL EVALUATION CAN BE AS ACCURATE AS ONLINE PARTIAL EVALUATION.ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. VOL. 26. ISSUE 1. P. 191 -220 16 100% 9
8 LEUSCHEL, M , JORGENSEN, J , VANHOOF, W , BRUYNOOGHE, M , (2004) OFFLINE SPECIALISATION IN PROLOG USING A HAND-WRITTEN COMPILER GENERATOR.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 4. ISSUE . P. 139 -191 19 76% 13
9 DANVY, O , (2008) DEFUNCTIONALIZED INTERPRETERS FOR PROGRAMMING LANGUAGES.ACM SIGPLAN NOTICES. VOL. 43. ISSUE 9. P. 131 -142 16 80% 3
10 DANVY, O , JOHANNSEN, J , (2010) INTER-DERIVING SEMANTIC ARTIFACTS FOR OBJECT-ORIENTED PROGRAMMING.JOURNAL OF COMPUTER AND SYSTEM SCIENCES. VOL. 76. ISSUE 5. P. 302 -323 16 76% 1

Classes with closest relation at Level 1



Rank Class id link
1 8988 JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL
2 31129 LANGUAGE EMBEDDINGS//INTERMEDIATE COMPILER TARGET LANGUAGES//LAZY FUNCTIONAL PROGRAMMING LANGUAGES
3 7591 JOURNAL OF LOGIC PROGRAMMING//LOGIC PROGRAMMING//ABSTRACT INTERPRETATION
4 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
5 12130 POINTER ANALYSIS//POINTS TO ANALYSIS//PARTIAL REDUNDANCY ELIMINATION
6 29378 GOAL DIRECTED EVALUATION//MULTIPARADIGM//COMPUTER LANGUAGES
7 8919 ATTRIBUTE GRAMMARS//LR PARSING//DOMAIN SPECIFIC LANGUAGES
8 4014 TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC
9 29419 RECURSIVE QUERY PROCESSING//DEDUCTIVE DATABASES//RECURSIVE QUERY EVALUATION
10 19978 PROGRAM NET//DATA FLOW PROGRAM//DYNAMIC PRIORITY LIST

Go to start page