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{Bilardi:1996:FGC,
author = "Gianfranco Bilardi and Keshav Pingali",
title = "A Framework for Generalized Control Dependence",
journal = j-SIGPLAN,
volume = "31",
number = "5",
pages = "291--300",
month = may,
year = "1996",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:17:18 MST 2003",
bibsource = "http://portal.acm.org/;
http://www.acm.org/pubs/contents/proceedings/pldi/231379/index.html",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/231379/p291-bilardi/",
acknowledgement = ack-nhfb,
affiliation = "Dipartimento di Elettronica e Inf., Padova Univ.,
Italy",
annote = "Published as part of the Proceedings of PLDI'96.",
keywords = "algorithms; management; theory",
subject = "{\bf D.3.3} Software, PROGRAMMING LANGUAGES, Language
Constructs and Features. {\bf F.4.1} Theory of
Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES,
Mathematical Logic, Proof theory. {\bf G.2.2}
Mathematics of Computing, DISCRETE MATHEMATICS, Graph
Theory.",
}
Related entries
- Bilardi, Gianfranco,
30(6)32
- 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,
25(6)337,
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(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
- 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,
25(6)337,
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(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
- generalized,
25(6)40,
25(10)237,
26(6)317,
26(9)1,
27(7)322,
27(7)331,
28(5)49,
28(7)119
- 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,
25(6)337,
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(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
- Pingali, Keshav,
27(9)285,
28(1)9,
28(6)78,
28(6)78-1,
29(6)171,
30(6)32,
32(5)346,
32(5)346-1
- PLDI'96.,
31(5)1,
31(5)12,
31(5)23,
31(5)33,
31(5)44,
31(5)54,
31(5)68,
31(5)79,
31(5)89,
31(5)99,
31(5)108,
31(5)117,
31(5)127,
31(5)137,
31(5)149,
31(5)160,
31(5)171,
31(5)181,
31(5)193,
31(5)206,
31(5)215,
31(5)226,
31(5)237,
31(5)249,
31(5)258,
31(5)267,
31(5)278
- proof,
25(6)165,
25(6)283,
27(6)54,
28(11)16,
31(5)108,
32(5)235,
34(9)82,
34(9)197