FSE 2008
-
Upload
ericbodden -
Category
Technology
-
view
300 -
download
0
description
Transcript of FSE 2008
![Page 1: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/1.jpg)
![Page 2: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/2.jpg)
![Page 3: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/3.jpg)
3
![Page 4: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/4.jpg)
4
![Page 5: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/5.jpg)
5
![Page 6: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/6.jpg)
![Page 7: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/7.jpg)
7
![Page 8: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/8.jpg)
8
![Page 9: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/9.jpg)
9
![Page 10: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/10.jpg)
10
![Page 11: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/11.jpg)
![Page 12: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/12.jpg)
![Page 13: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/13.jpg)
13
![Page 14: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/14.jpg)
14
![Page 15: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/15.jpg)
15
![Page 16: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/16.jpg)
16
0 1 20 1 2
![Page 17: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/17.jpg)
17
![Page 18: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/18.jpg)
18
![Page 19: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/19.jpg)
19
![Page 20: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/20.jpg)
20
![Page 21: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/21.jpg)
21
![Page 22: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/22.jpg)
22
![Page 23: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/23.jpg)
23
![Page 24: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/24.jpg)
24
![Page 25: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/25.jpg)
25
![Page 26: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/26.jpg)
26
![Page 27: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/27.jpg)
27
![Page 28: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/28.jpg)
28
![Page 29: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/29.jpg)
![Page 30: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/30.jpg)
![Page 31: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/31.jpg)
![Page 32: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/32.jpg)
32
![Page 33: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/33.jpg)
33
![Page 34: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/34.jpg)
34
![Page 35: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/35.jpg)
35
![Page 36: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/36.jpg)
36
![Page 37: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/37.jpg)
37
![Page 38: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/38.jpg)
38
![Page 39: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/39.jpg)
![Page 40: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/40.jpg)
40
![Page 41: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/41.jpg)
41
![Page 42: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/42.jpg)
42
![Page 43: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/43.jpg)
43
![Page 44: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/44.jpg)
44
![Page 45: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/45.jpg)
![Page 46: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/46.jpg)
![Page 47: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/47.jpg)
public Block isMu(...) {... final Iterator iter = cfg.preds(phi.block()).iterator(); final Block pred1 = (Block) iter.next(); final Block pred2 = (Block) iter.next();
![Page 48: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/48.jpg)
while (c == null && enumMap.hasMoreElements()) { ... if (!enumC.hasMoreElements()) c = null;}// At this point, c == null if there are no more elements,// and otherwise is the first collection with a free element// (with enumC set up to return that element).
if (c == null) { // no more elements, so return null;
return (null);} else { Perm answer = (Perm) enumC.nextElement(); ...
![Page 49: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/49.jpg)
private final void FillBuff() {...try {
if ((i = inputStream.read(...)) == -1) {inputStream.close();throw new java.io.IOException();
}else
maxNextCharInd += i;return;
}...
}
![Page 50: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/50.jpg)
50
static String getLine(BufferedReader reader, int line) { if (reader == null) return ""; try { String text=null; for(int i=0; i < line; i++) { text = reader.readLine(); } return text; } catch (IOException ioe) { return null; }}
![Page 51: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/51.jpg)
51
private List markUsages(IDataFlowNode inode) {...for (Iterator k = ((List)entry.getValue())
.iterator();k.hasNext();) {addAccess(k, inode);
}...
}
...
private void addAccess(Iterator k, IDataFlowNode inode) {
NameOccurrence occurrence =(NameOccurrence) k.next();
... }
![Page 52: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/52.jpg)
52
private List markUsages(IDataFlowNode inode) {...
for (NameOccurrence occurrence: entry.getValue()) {
addAccess(occurrence, inode);}...
}
...
private void addAccess(NameOccurrence occurrence,IDataFlowNode inode) {
... }
![Page 53: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/53.jpg)
53
public Iterator iterator() { return new Iterator() { Iterator i = list.iterator(); public void remove() { throw new UnsupportedOperationException(); } public boolean hasNext() { return i.hasNext();
} public Object next() { return i.next();
} };}
![Page 54: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/54.jpg)
54
![Page 55: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/55.jpg)
55
![Page 56: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/56.jpg)
56
![Page 57: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/57.jpg)
57
![Page 58: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/58.jpg)
58
![Page 59: FSE 2008](https://reader033.fdocument.pub/reader033/viewer/2022061114/5462abdeaf7959477b8b5035/html5/thumbnails/59.jpg)
59