![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| JPM | 08-Jan-2003 11:19 | 1.7K | |
| LoD-static-join-point-model-AOSD2003.ps | 10-Jan-2003 22:56 | 151K | |
| LoD-submitted.ps | 08-Nov-2002 17:54 | 153K | |
| README | 28-Dec-2002 23:34 | 42 | |
| checker-discussion.txt | 19-Nov-2002 13:20 | 29K | |
| contributions | 09-Jan-2003 11:07 | 1.5K | |
| dry | 29-Dec-2002 22:17 | 4.0K | |
| fred/ | 03-Jan-2003 19:46 | - | |
| gof | 31-Dec-2002 07:31 | 5.4K | |
| jpm | 07-Jan-2003 09:57 | 1.2K | |
| key-observation | 29-Dec-2002 22:16 | 4.2K | |
| old1 | 31-Dec-2002 07:01 | 6.6K | |
| scratch | 07-Jan-2003 16:01 | 1.1K | |
| static-checker | 20-Dec-2002 23:24 | 2.5K | |
| vision-dynamic-static | 22-Dec-2002 12:05 | 1.9K | |