![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 1967_assigning_meaning_to_programs_Floyd.pdf | 08-Oct-2008 22:25 | 2.9M | |
| Forsythe_PitfallsInComputation.pdf | 31-Mar-2009 09:56 | 2.4M | |
| Kowalski-ACM-1979.pdf | 13-Jan-2005 12:03 | 1.2M | |
| cb-ecs-hoare.pdf | 10-Mar-2009 15:16 | 20M | |
| hewitt_actor_model_aim_410.pdf | 03-Mar-2009 13:30 | 11M | |
| hoare_pl_design_CS-TR-73-403.pdf | 20-Feb-2009 13:43 | 370K | |
| ll_pl_crary99type.pdf | 02-Mar-2001 20:35 | 211K | |
| p261-knuth.pdf | 29-Aug-2005 07:11 | 2.9M | |
| science_computerscience.pdf | 28-Aug-2000 16:48 | 88K | |
| string/ | 18-Mar-2009 11:20 | - | |
| threads_as_lib_HPL-2004-209.pdf | 22-Nov-2004 19:24 | 166K | |
| turing_award/ | 22-Jun-2009 17:23 | - | |
| visual_lang_semantics_uml_ieee04.pdf | 14-Apr-2009 09:43 | 375K | |