Last update: Thu Apr 12 03:37:15 MDT 2012
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Cytron:1990:CRC,
author = "Ron Cytron and Jeanne Ferrante and Vivek Sarkar",
title = "Compact representations for control dependence",
journal = j-SIGPLAN,
volume = "25",
number = "6",
pages = "337--351",
month = jun,
year = "1990",
CODEN = "SINODQ",
ISBN = "0-89791-364-7",
ISBN-13 = "978-0-89791-364-5",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:15:53 MST 2003",
bibsource = "Compendex database; http://portal.acm.org/;
http://www.acm.org/pubs/contents/proceedings/pldi/93542/index.html",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/93542/p337-cytron/",
abstract = "Recently the Program Dependence Graph (PDG) has been
shown useful as a basis for solving a variety of
problems, including optimization, vectorization,
translation to dataflow machines, code generation for
VLIW machines, program transformation, merging versions
of programs, and automatic detection and management of
parallelism. The edges of the PDG consist of control
dependence and data dependence edges. The data
dependence edges represent the essential data flow
relationships of a program. In this paper, we examine
the control dependence aspect of the PDG, which
summarizes essential control flow relationships in a
program. Informally, for nodes X and Y in CFG, Y is
control dependent on X if during execution, X can
directly affect whether Y is executed. We improve the
space and time required to compute those aspects of
control dependence used by most algorithms.",
acknowledgement = ack-nhfb,
affiliation = "IBM T. J. Watson Research Cent",
affiliationaddress = "Yorktown Heights, NY, USA",
annote = "Published as part of the Proceedings of PLDI'90.",
classification = "722; 723",
conference = "Proceedings of the ACM SIGPLAN '90 Conference on
Programming Language Design and Implementation",
conferenceyear = "1990",
journalabr = "SIGPLAN Not",
keywords = "algorithms; Computer Operating Systems; Computer
Programming Languages --- Design; Control Dependence;
design; experimentation; Optimizing Compilers;
performance; Program Compilers; Program Dependence
Graph (PDG); theory",
meetingaddress = "White Plains, NY, USA",
meetingdate = "Jun 20--22 1990",
meetingdate2 = "06/20--22/90",
sponsor = "Assoc for Computing Machinery, Special Interest Group
on Programming Languages",
subject = "{\bf F.3.3} Theory of Computation, LOGICS AND MEANINGS
OF PROGRAMS, Studies of Program Constructs, Control
primitives. {\bf F.2.2} Theory of Computation, ANALYSIS
OF ALGORITHMS AND PROBLEM COMPLEXITY, Nonnumerical
Algorithms and Problems, Computations on discrete
structures. {\bf G.2.2} Mathematics of Computing,
DISCRETE MATHEMATICS, Graph Theory. {\bf D.3.3}
Software, PROGRAMMING LANGUAGES, Language Constructs
and Features, Control structures. {\bf D.3.4} Software,
PROGRAMMING LANGUAGES, Processors, Optimization.",
}
Related entries
- affect,
25(6)246,
27(7)32,
27(7)273,
28(6)177,
29(11)145,
30(3)50,
30(8)68,
30(11)50
- ALGORITHMS,
25(6)40,
25(6)66,
25(6)92,
25(6)102,
25(6)112,
25(6)137,
25(6)150,
25(6)234,
25(6)272,
25(6)322,
26(6)30,
26(6)130,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(7)140,
27(9)98,
27(9)238,
28(3)363,
28(6)78-1,
28(6)268,
28(6)278,
28(6)290,
29(6)61,
29(6)85,
29(6)97,
29(6)121,
29(6)171,
29(6)218,
29(6)302,
30(6)32,
30(6)47,
30(6)56,
30(6)139,
30(6)186,
30(6)246,
30(6)279,
30(11)7,
30(11)60,
30(11)134,
31(5)108,
31(5)193,
31(9)60,
32(5)194,
32(5)334,
33(5)72,
33(5)85-1,
33(5)142,
33(11)24,
33(11)262,
33(11)272
- aspect,
28(2)21,
28(6)187,
28(6)237,
29(6)290,
29(8)1,
30(8)19,
30(8)80-1,
30(11)88,
31(8)74,
31(8)74-1,
32(10)162
- automatic,
25(6)283,
26(6)120,
26(6)317,
28(1)82,
28(3)359,
28(6)207-1,
28(8)90,
29(6)73,
29(6)135,
29(8)46,
29(10)164,
29(11)12,
29(11)263,
29(12)104,
30(3)13,
30(4)71,
30(4)71-1,
30(6)186,
30(8)58,
30(8)80-1,
30(8)134,
30(8)156,
30(11)60,
30(11)99,
30(11)134,
31(4)11,
31(4)11-1,
31(6)190,
31(10)235,
31(10)251,
32(5)7,
32(5)57,
32(5)159,
32(5)215,
32(5)226,
32(5)249,
32(5)346-1,
32(7)136,
32(8)274,
33(10)1,
34(5)242,
34(8)72,
34(8)84,
34(8)163
- basis,
25(6)137,
25(6)257,
25(12)37,
27(10)218,
28(3)333,
28(3)345,
28(7)92,
28(7)169,
28(12)12,
28(12)12-1,
29(6)85,
29(11)297,
30(3)23,
30(6)233,
30(8)102,
31(12)52
- CFG,
25(6)272,
30(3)35,
30(6)246,
34(1)351
- compact,
27(3)61,
27(7)341,
28(6)237,
28(7)187,
29(6)337,
29(6)337-1,
29(9)149,
29(10)355,
34(5)128
- COMPLEXITY,
25(6)40,
25(6)66,
25(6)92,
25(6)102,
25(6)112,
25(6)137,
25(6)150,
25(6)234,
25(6)272,
25(6)322,
26(6)30,
26(6)130,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(7)140,
27(9)98,
27(9)238,
28(3)363,
28(6)78-1,
28(6)268,
28(6)278,
28(6)290,
29(6)61,
29(6)85,
29(6)97,
29(6)121,
29(6)171,
29(6)218,
29(6)302,
30(6)32,
30(6)47,
30(6)56,
30(6)139,
30(6)186,
30(6)246,
30(6)279,
30(11)7,
30(11)60,
30(11)134,
31(5)108,
31(5)193,
31(9)60,
32(5)194,
32(5)334,
33(5)72,
33(5)85-1,
33(5)142,
33(11)24,
33(11)262,
33(11)272
- compute,
25(6)92,
25(6)311,
27(1)95,
28(3)69,
29(6)1,
29(6)186,
29(11)12,
29(11)252,
29(11)308,
30(6)32,
30(6)47,
30(11)70,
31(9)279
- consist,
28(3)359,
28(7)239,
29(6)337,
29(6)337-1,
29(8)22,
29(8)94,
29(11)158,
30(8)166,
30(8)217,
30(11)79
- Cytron, Ron,
28(6)36,
33(4)1
- dataflow,
25(6)257,
27(7)106,
28(6)78-1,
28(6)100,
28(8)109,
28(8)109-1,
29(8)59,
29(9)22-1,
29(9)125,
29(11)286,
30(3)50,
30(6)32,
30(6)67,
30(8)92,
32(5)122,
32(8)322,
32(8)377
- dependent,
28(5)19,
28(5)19-1,
30(6)246,
30(6)279,
30(8)48,
33(5)249,
34(1)239
- detection,
25(1)59,
25(3)1,
26(4)235,
26(7)133,
26(8)121,
26(12)97,
26(12)167,
27(7)162,
28(6)13,
28(12)107,
28(12)107-1,
28(12)129,
28(12)129-1,
29(6)266,
29(6)290,
29(7)43,
29(11)110,
29(11)158,
29(11)208,
30(6)291,
31(5)44
- directly,
25(6)223,
25(6)257,
27(7)224,
27(7)311,
28(3)361,
28(6)1,
29(6)135,
29(6)196,
29(6)242,
29(6)242-1,
29(11)2,
30(3)13,
30(3)62,
30(8)48,
33(7)19
- DISCRETE,
25(6)16,
25(6)40,
25(6)85-1,
25(6)223,
25(6)234,
25(6)246,
25(6)272,
25(6)283,
25(6)296,
26(6)130,
26(6)177-1,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(7)162,
27(7)300,
27(7)311,
27(7)331,
28(6)78-1,
28(6)112,
28(6)126,
28(6)248,
28(6)268,
28(6)278,
28(6)290,
28(6)300,
29(6)135,
29(6)266,
30(3)1,
30(3)23,
30(3)35,
30(3)50,
30(6)32,
30(6)47,
30(6)163-1,
30(6)186,
30(6)246,
30(11)70,
31(5)54,
31(5)278,
31(5)291,
31(9)222-1,
31(9)234,
32(5)85,
32(5)171,
32(5)235,
32(5)249,
32(5)261,
32(5)287,
32(5)296-1,
33(5)15,
33(5)26-1,
33(5)60,
33(5)85-1,
33(5)97,
33(5)142,
33(11)218,
34(3)57
- discrete,
25(6)40,
25(6)102,
25(6)137,
25(6)150,
25(6)234,
25(6)272,
25(6)322,
26(3)19,
26(6)130,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(4)10,
27(7)32,
28(3)149,
28(3)369,
28(6)78-1,
28(6)268,
28(6)278,
28(6)290,
29(6)85,
29(6)97,
29(6)171,
29(6)302,
30(3)83,
30(6)32,
30(6)47,
30(6)56,
30(6)186,
30(6)246,
31(5)193,
33(5)72,
33(5)85-1,
33(5)142
- during,
25(6)165,
25(6)246,
27(7)32,
27(7)235,
27(7)273,
27(7)311,
28(3)299,
28(3)359,
28(6)68,
28(6)217,
28(7)208,
30(8)123,
30(11)50,
30(11)117,
32(10)1,
32(10)1-1,
34(11)44
- edge,
30(3)1,
30(3)35,
30(6)246
- essential,
26(1)85,
27(7)224,
28(7)149,
28(10)360,
28(10)363,
29(6)85,
30(8)19,
30(8)199,
30(11)117,
30(11)125,
30(12)4
- examine,
27(7)82,
27(7)212,
27(7)311,
28(3)231,
28(7)83,
29(11)12,
29(11)145,
29(11)219,
29(11)319,
30(11)88,
33(7)75
- executed,
26(6)145,
27(7)44,
27(7)128,
27(7)322,
28(6)300,
29(6)85,
29(6)121,
29(6)266,
29(11)252,
30(6)56,
30(6)103,
30(6)246,
30(6)315,
30(8)179
- F.2.2,
25(6)40,
25(6)66,
25(6)102,
25(6)137,
25(6)150,
25(6)234,
25(6)272,
25(6)322,
26(6)130,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(9)98,
27(9)238,
28(3)363,
28(6)78-1,
28(6)268,
28(6)278,
28(6)290,
29(6)85,
29(6)97,
29(6)171,
29(6)302,
30(6)32,
30(6)47,
30(6)56,
30(6)186,
30(6)246,
30(11)7,
30(11)60,
30(11)134,
31(5)193,
31(9)60,
32(5)194,
32(5)334,
33(5)72,
33(5)85-1,
33(5)142,
33(11)24,
33(11)262,
33(11)272
- Ferrante, Jeanne,
28(1)36,
28(7)139,
33(11)24
- G.2.2,
25(6)16,
25(6)40,
25(6)85-1,
25(6)223,
25(6)234,
25(6)246,
25(6)272,
25(6)283,
25(6)296,
26(6)130,
26(6)177-1,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(7)162,
27(7)300,
27(7)311,
27(7)331,
28(6)78-1,
28(6)112,
28(6)126,
28(6)248,
28(6)268,
28(6)278,
28(6)290,
28(6)300,
29(6)135,
29(6)266,
30(3)1,
30(3)23,
30(3)35,
30(3)50,
30(6)32,
30(6)47,
30(6)163-1,
30(6)186,
30(6)246,
31(5)54,
31(5)278,
31(5)291,
31(9)222-1,
31(9)234,
32(5)85,
33(5)15,
33(5)26-1,
33(5)60,
33(5)85-1,
33(5)97,
33(5)142
- improve,
25(6)53,
26(6)145,
26(6)177,
26(6)177-1,
27(7)106,
27(7)116,
27(7)162,
27(7)188-1,
27(7)249,
27(9)223,
28(3)201,
28(6)100,
28(6)187,
28(6)268,
28(6)300,
29(6)36,
29(6)49,
29(6)97,
29(6)159,
29(6)206,
29(6)257,
29(6)257-1,
29(11)171,
29(11)208,
29(11)219,
29(11)232,
29(11)242,
29(11)252,
30(6)13,
30(6)56,
30(6)93,
30(6)116,
30(6)151,
30(6)174,
30(6)186,
30(6)196,
30(6)205,
30(6)279,
30(8)29,
30(8)80-1,
30(8)166,
30(8)189,
30(8)199,
33(5)97,
33(7)51,
34(5)215
- including,
25(4)59,
25(5)95,
27(5)z,
27(7)68,
27(7)200,
27(7)322,
28(3)133,
28(3)231,
28(3)357,
28(6)36,
28(6)100,
28(6)187,
28(7)229,
29(6)36,
29(6)85,
29(6)171,
29(6)242,
29(6)242-1,
29(6)257,
29(6)257-1,
30(3)23,
30(6)67,
30(6)174,
30(8)134,
30(8)156
- MATHEMATICS,
25(6)16,
25(6)40,
25(6)85-1,
25(6)223,
25(6)234,
25(6)246,
25(6)272,
25(6)283,
25(6)296,
26(6)130,
26(6)177-1,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(7)162,
27(7)300,
27(7)311,
27(7)331,
28(6)78-1,
28(6)112,
28(6)126,
28(6)248,
28(6)268,
28(6)278,
28(6)290,
28(6)300,
29(6)135,
29(6)266,
30(3)1,
30(3)23,
30(3)35,
30(3)50,
30(6)32,
30(6)47,
30(6)163-1,
30(6)186,
30(6)246,
30(11)70,
31(5)54,
31(5)278,
31(5)291,
31(9)222-1,
31(9)234,
32(5)85,
32(5)171,
32(5)235,
32(5)249,
32(5)261,
32(5)287,
32(5)296-1,
33(5)15,
33(5)26-1,
33(5)60,
33(5)85-1,
33(5)97,
33(5)142,
33(11)218,
34(3)57
- merging,
26(6)71,
29(11)208,
30(8)123,
34(5)150
- most,
25(4)73,
25(6)53,
25(6)165,
25(6)189,
25(6)209,
26(4)290,
27(7)1,
27(7)94,
27(7)152,
27(7)300,
28(3)69,
28(3)333,
28(3)347,
28(6)36,
28(6)90,
28(6)139-1,
28(6)177,
28(6)197,
28(7)13,
28(7)54-1,
28(7)149,
28(7)208,
28(8)90,
29(6)61,
29(6)85,
29(6)107,
29(6)186,
29(8)13,
29(11)38,
29(11)51,
29(11)274,
29(11)328,
30(3)71,
30(3)119,
30(8)179,
30(11)20-1
- node,
26(7)114,
28(7)13,
28(7)218,
29(9)51,
29(11)38,
29(11)274,
30(6)47,
30(8)39,
32(9)68,
34(5)150,
34(8)163
- nonnumerical,
25(6)40,
25(6)66,
25(6)102,
25(6)137,
25(6)150,
25(6)234,
25(6)272,
25(6)322,
26(6)130,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(9)98,
27(9)238,
28(3)363,
28(6)78-1,
28(6)268,
28(6)278,
28(6)290,
29(6)85,
29(6)97,
29(6)171,
29(6)302,
29(11)183,
30(6)32,
30(6)47,
30(6)56,
30(6)186,
30(6)246,
30(11)7,
30(11)60,
30(11)134,
31(5)193,
31(9)60,
32(5)194,
32(5)334,
33(5)72,
33(5)85-1,
33(5)142,
33(11)24,
33(11)262,
33(11)272
- optimizing,
25(1)17,
25(3)137,
25(5)53,
25(6)53,
25(6)102,
25(6)150,
25(6)272,
25(6)272-1,
26(1)109,
26(6)30,
26(6)219,
26(9)178,
27(7)249,
27(7)322,
27(10)110,
27(10)110-1,
28(6)100,
28(6)139-1,
29(4)41,
29(6)73,
29(6)186,
29(6)218,
29(6)230,
29(6)278,
29(6)326,
29(10)244,
29(10)244,
29(11)252,
29(12)31,
30(3)23,
30(3)50,
30(3)71,
30(6)93,
30(6)196,
30(6)246,
30(8)134,
30(8)166,
31(5)137,
31(5)181,
31(10)51,
31(10)83,
32(5)44,
32(7)100,
32(8)315,
32(12)116,
33(5)291,
33(7)27,
33(7)75,
33(8)40,
34(7)1
- PDG,
25(6)246,
25(6)257,
29(6)266
- PLDI'90.,
25(6)9,
25(6)16,
25(6)28,
25(6)40,
25(6)53,
25(6)66,
25(6)78,
25(6)85-1,
25(6)92,
25(6)102,
25(6)127-1,
25(6)137,
25(6)150,
25(6)165,
25(6)174,
25(6)189,
25(6)197,
25(6)209,
25(6)223,
25(6)234,
25(6)246,
25(6)257,
25(6)272,
25(6)283,
25(6)296,
25(6)311,
25(6)322
- primitive,
25(5)29,
25(6)66,
26(4)96,
26(6)241,
26(11)230,
27(5)z,
27(7)12,
28(3)363,
28(6)78-1,
28(6)139-1,
28(6)147,
28(7)129,
28(7)229,
29(6)171,
29(6)266,
29(6)302,
30(6)32,
30(6)47,
30(6)56,
30(6)130,
30(6)205,
30(6)291,
30(8)11,
30(8)123,
30(8)217,
30(11)31,
31(5)99,
32(6)23,
32(6)23,
32(7)112,
32(7)112,
33(5)1,
33(5)72,
33(5)85-1,
33(5)97,
33(5)174
- PROBLEM,
25(6)40,
25(6)66,
25(6)92,
25(6)102,
25(6)112,
25(6)137,
25(6)150,
25(6)234,
25(6)272,
25(6)322,
26(6)30,
26(6)130,
26(6)192,
26(6)204,
26(6)241,
26(6)256,
27(7)140,
27(9)98,
27(9)238,
28(3)363,
28(6)78-1,
28(6)268,
28(6)278,
28(6)290,
29(6)61,
29(6)85,
29(6)97,
29(6)121,
29(6)171,
29(6)218,
29(6)302,
30(6)32,
30(6)47,
30(6)56,
30(6)139,
30(6)186,
30(6)246,
30(6)279,
30(11)7,
30(11)60,
30(11)134,
31(5)108,
31(5)193,
31(9)60,
32(5)194,
32(5)334,
33(5)72,
33(5)85-1,
33(5)142,
33(11)24,
33(11)262,
33(11)272
- recently,
29(6)230,
29(6)302,
29(11)242,
30(6)139,
30(11)125,
33(7)83
- relationship,
25(4)59,
27(7)200,
28(3)369,
28(6)100,
28(6)166,
29(2)39-1,
29(6)242,
29(6)242-1,
29(8)35,
29(8)119,
29(10)65,
30(6)1,
33(7)27,
33(7)75,
33(7)83
- represent,
25(6)234,
27(7)175,
28(6)237,
29(6)230,
30(3)35,
30(6)139,
30(8)48
- required,
25(1)59,
25(6)102,
25(6)112,
25(6)272,
27(9)248,
28(3)299,
29(6)302,
29(11)76-1,
29(11)98,
29(11)171,
29(11)196,
29(11)319,
30(6)139,
30(11)20-1
- Sarkar, Vivek,
25(6)322,
27(7)175,
33(10)296,
33(10)296-1,
33(11)46
- shown,
25(6)40,
25(6)174,
26(6)219,
27(7)341,
27(9)248,
27(12)20,
28(6)156,
28(7)229,
29(6)36,
29(6)85,
29(6)97,
29(6)266,
29(11)25,
29(11)145,
30(8)102
- solving,
25(6)1,
25(6)296,
27(7)188-1,
28(7)179,
29(6)349,
29(6)349-1,
29(8)46,
29(9)29,
29(11)196,
30(6)163-1,
30(6)174,
30(8)48,
32(5)134,
33(7)51
- summarize,
28(6)100,
28(7)33,
30(3)103,
30(6)1
- translation,
25(5)69,
25(6)257,
27(9)137,
27(9)213,
28(6)237,
28(7)112,
29(1)53,
29(6)1,
29(6)266,
29(10)403,
29(11)171,
29(11)319,
30(3)71,
30(3)94,
30(6)291,
30(11)79,
31(10)441,
31(10)441,
32(5)1,
33(11)193,
34(9)148
- useful,
25(1)59,
25(4)51,
25(6)102,
25(6)246,
25(6)322,
25(10)237,
27(7)140,
27(7)188-1,
28(6)90,
28(6)300,
28(7)129,
28(8)90,
29(6)1,
29(6)13,
29(6)147,
29(11)12,
29(11)171,
29(11)219,
29(11)252,
30(3)13,
30(8)123,
32(3)38,
32(9)68,
33(7)19
- variety,
25(6)53,
27(7)55,
27(7)322,
28(3)357,
28(3)363,
28(3)365,
28(7)33,
29(6)218,
29(6)257,
29(6)257-1,
29(6)349,
29(6)349-1,
30(6)56,
30(6)279,
30(8)123,
30(8)134,
30(8)189,
33(7)59,
33(7)83
- version,
25(6)234,
25(6)257,
26(8)121,
26(11)230,
27(2)88,
27(5)z,
27(7)1,
27(7)32,
27(7)44,
27(7)188-1,
27(8)99,
27(12)57,
28(2)21,
28(3)37,
28(3)53,
28(3)299,
28(3)367,
28(7)198,
28(7)218,
29(6)1,
29(6)36,
29(6)266,
29(8)119,
29(9)44,
29(11)61,
29(11)196,
29(11)252,
30(3)119,
30(6)13,
30(6)93,
30(6)315,
33(7)19,
33(7)51,
33(7)83
- VLIW,
26(4)2,
26(6)219,
26(7)21,
27(7)283,
27(9)238,
29(6)36,
29(11)183,
34(7)28
- whether,
25(6)92,
25(6)137,
25(6)174,
27(7)188-1,
29(11)76-1,
30(11)79,
33(7)27