Index of /bitsavers.org/pdf/xerox/parc/techReports/
../
CIS-5_Papers_on_Interlisp-D_rev_198301.pdf 13-Sep-2025 14:29 7582554
CSL-73-1_An_Interactive_Program_Verifier_197305..> 13-Sep-2025 21:27 8121182
CSL-73-2_New_Programming_Languages_For_AI_Resea..> 28-Nov-2010 01:13 2509661
CSL-73-3_The_Implementation_of_NLS_on_a_Minicom..> 19-Dec-2008 18:35 2011265
CSL-73-4_Omnigraph_Simple_Terminal-Indepenent_G..> 27-Nov-2010 04:40 3099130
CSL-74-1_A_Postmortem_for_a_Timesharing_System.pdf 19-Dec-2008 18:35 6369539
CSL-74-3_Introducing_Iteration_Into_the_Pure_LI..> 13-Sep-2025 03:35 2510829
CSL-75-1_On_the_Problem_of_Uniform_References_t..> 13-Sep-2025 03:35 2755561
CSL-75-3_A_Space-Economical_Suffix_Tree_Constru..> 13-Sep-2025 14:29 1949260
CSL-75-4_Some_Principles_of_Memory_Schemata_197..> 13-Sep-2025 03:35 2115434
CSL-75-5_Dimensions_of_Representation_197507.pdf 13-Sep-2025 03:35 2964294
CSL-75-6_Subgoal_Induction_197507.pdf 13-Sep-2025 03:35 2314949
CSL-75-7_Ethernet_Distributed_Packet_Switching_..> 05-Feb-2010 23:27 1500483
CSL-75-8_Goal-Directed_Program_Transformation_1..> 13-Sep-2025 21:27 2611349
CSL-76-1_A_Fast_String_Searching_Algorithm.pdf 28-Nov-2010 01:13 1760640
CSL-76-2_Constructive_Methods_in_Program_Verifi..> 13-Sep-2025 14:29 2375253
CSL-76-3_The_Analysis_of_Hashing_Algorithms.pdf 28-Nov-2010 01:14 4965880
CSL-76-4_An_Overview_of_KRL_-_A_Knowledge_Repre..> 13-Sep-2025 03:35 4598359
CSL-76-5_The_Interlisp_Virtual_Machine_Specific..> 19-Dec-2008 18:36 11232123
CSL-76-6_Early_Experience_With_Mesa.pdf 27-Nov-2010 04:41 2049256
CSL-77-1_Schemes_-_A_High_Level_Data_Structurin..> 13-Sep-2025 03:35 3701267
CSL-77-2_Strategy_Construction_using_a_Synthesi..> 28-Nov-2010 03:06 8935727
CSL-77-3_A_Display_Oriented_Programmers_Assista..> 28-Nov-2010 03:06 3091168
CSL-77-4_A_Necessary_and_Sufficient_Condition_f..> 13-Sep-2025 14:29 1541444
CSL-78-3_Empirical_Estimates_of_Program_Entropy..> 28-Nov-2010 03:06 7416509
CSL-78-4_Using_Encryption_for_Authentication_in..> 28-Nov-2010 03:06 1391652
CSL-78-5_Separating_Data_From_Function_in_a_Dis..> 13-Sep-2025 03:36 1980942
CSL-79-10_Pup_An_Internetwork_Architecture_Jul7..> 23-Nov-2010 01:28 3761842
CSL-79-11_Alto_A_Personal_Computer.pdf 27-Nov-2010 04:41 6560658
CSL-79-12_Violet_an_Experimental_Decentralized_..> 27-Nov-2010 04:41 1513481
CSL-79-13_WFS_A_Simple_Shared_File_System_for_a..> 27-Nov-2010 04:41 1512814
CSL-79-14_Weighted_Voting_for_Replicated_Data.pdf 27-Nov-2010 04:41 1792466
CSL-79-1_Monitoring_System_Behavior_In_a_Comple..> 13-Sep-2025 03:39 19634063
CSL-79-3_Mesa_Language_Manual_Version_5.0.pdf 29-Nov-2010 19:57 18456042
CSL-79-4_Transport_of_Electronic_Messages_Throu..> 27-Nov-2010 04:41 1353654
CSL-79-5_Formalizing_the_Analysis_of_Algorithms..> 13-Sep-2025 21:27 12183272
CSL-79-6_Raster_Graphics_for_Interactive_Progra..> 13-Sep-2025 04:09 3683856
CSL-79-7_Compact_Encodings_of_List_Structure.pdf 28-Nov-2010 03:06 2110453
CSL-79-8_Code_Generation_and_Machine_Descriptio..> 27-Nov-2010 04:41 3328494
CSL-79-9_An_Entity-Based_Database_Interface.pdf 28-Nov-2010 03:06 1405354
CSL-80-10_Requirements_for_an_Experimental_Prog..> 19-Dec-2008 18:36 4286316
CSL-80-11_The_Proper_Place_of_Men_and_Machines_..> 13-Sep-2025 04:09 2902359
CSL-80-12_Algorithm_Schemata_and_Data_Structure..> 13-Sep-2025 14:30 4122036
CSL-80-2_The_Ethernet_Local_Network_-_Three_Rep..> 13-Sep-2025 21:27 5980072
CSL-80-3_A_Client-Based_Transaction_System_To_M..> 13-Sep-2025 14:30 1670427
CSL-80-4_Efficient_Dynamic_Programming_Using_Qu..> 13-Sep-2025 14:30 1433415
CSL-80-5_A_Layered_Approach_to_Software_Design.pdf 27-Nov-2010 04:41 2452915
CSL-80-6_The_Display_of_Characters_Using_Gray_L..> 28-Nov-2010 03:07 1205271
CSL-80-7_Displaying_Data_Structures_for_Interac..> 13-Sep-2025 21:27 9279684
CSL-80-8_Stress_and_Salience_in_English_-_Theor..> 13-Sep-2025 21:27 14590087
CSL-80-9_Efficient_Algorithms_for_Enumerating_I..> 13-Sep-2025 14:30 1507194
CSL-81-10_Techniques_for_Program_Verification_1..> 13-Sep-2025 21:27 12193574
CSL-81-11_Real_Programming_in_Functional_Langua..> 28-Nov-2010 03:08 2198655
CSL-81-12_Report_On_The_Programming_Language_Eu..> 19-Dec-2008 18:36 5129436
CSL-81-1_The_Dorado_A_High-Performance_Personal..> 19-Dec-2008 18:36 9721385
CSL-81-2_The_TXDT_Package_-_Interlisp_Text_Edit..> 13-Sep-2025 04:09 4231523
CSL-81-3_An_Experimental_Description-Based_Prog..> 28-Nov-2010 03:07 3831784
CSL-81-6_Laurel_Manual_198105.pdf 13-Sep-2025 21:27 9222186
CSL-81-7_Trellis_Data_Compression_198106.pdf 13-Sep-2025 04:09 8986146
CSL-81-8_Information_Storage_in_a_Decentralized..> 27-Nov-2010 04:42 7052542
CSL-81-9_Remote_Procedure_Call.pdf 28-Nov-2010 03:13 14151614
CSL-82-1_Cryptographic_Sealing_for_Information_..> 13-Sep-2025 04:09 2555688
CSL-82-2_An_Analysis_of_a_Mesa_Instruction_Set.pdf 27-Nov-2010 04:42 1583879
CSL-82-3_Some_Notes_on_Putting_Formal_Specifica..> 13-Sep-2025 04:09 2142717
CSL-82-4_Grapevine_-_an_Exercise_in_Distributed..> 13-Sep-2025 14:30 3399796
CSL-82-5_Packet-Voice_Communication_on_an_Ether..> 27-Nov-2010 04:42 1930844
CSL-82-7_Controlling_Large_Software_Development..> 28-Nov-2010 04:07 7869519
CSL-83-11_The_Cedar_Programming_Environment_A_M..> 27-Nov-2010 04:42 13518000
CSL-83-12_Grapevine_-_Two_Papers_and_a_Report_1..> 13-Sep-2025 14:30 9173502
CSL-83-1_An_Interactive_High-Level_Debugger_for..> 28-Nov-2010 04:07 2155917
CSL-83-4_Design_and_Implementation_of_a_Relatio..> 13-Sep-2025 21:27 11303355
CSL-83-5_Data_Types_Are_Values.pdf 27-Nov-2010 04:42 1866768
CSL-83-7_Implementing_Remote_Procedure_Calls.pdf 27-Nov-2010 04:42 2103738
CSL-83-8_Adding_Voice_to_an_Office_Computer_Net..> 27-Nov-2010 04:42 2162111
CSL-83-9_The_Semantics_of_Lazy_And_Industrious_..> 28-Nov-2010 04:07 2331115
CSL-84-4_The_Alpine_File_System.pdf 27-Nov-2010 04:42 2724074
CSL-84-7_On_Adding_Garbage_Collection_and_Runti..> 27-Nov-2010 04:42 1765837
CSL-85-01_Distributed_Name_Servers.pdf 27-Nov-2010 04:43 9770712
CSL-85-8_An_Effective_Test_Strategy.pdf 27-Nov-2010 04:43 1540854
CSL-85-9_Walnut_Storing_Electronic_Mail_in_a_Da..> 27-Nov-2010 04:43 1745440
CSL-86-1_A_Structural_View_of_the_Cedar_Program..> 13-Sep-2025 21:27 8438322
CSL-86-3_Voice_Annotation_and_Editing_in_a_Work..> 27-Nov-2010 04:43 3016713
CSL-87-7_Reimplementing_the_Cedar_File_System_U..> 27-Nov-2010 04:43 1506099
CSL-89-1_Epidemic_Algorithms_for_Replicated_Dat..> 28-Nov-2010 04:07 2232153
CSL-89-2_Etherphone_Collected_Papers_1987-1988.pdf 27-Nov-2010 04:43 5151878
CSL-89-3_Data_Compression_with_Finite_Windows.pdf 28-Nov-2010 04:08 2625113
CSL-89-4_UNIX_Needs_A_True_Integrated_Environme..> 28-Nov-2010 04:08 1363391
CSL-89-6_Efficient_Binary_Space_Partitions_for_..> 13-Sep-2025 04:09 1892783
CSL-89-7_Browsing_Electronic_Mail_Experiences_I..> 28-Nov-2010 04:08 1541214
CSL-89-8_Experiences_Creating_a_Portable_Cedar.pdf 28-Nov-2010 04:08 1335085
CSL-90-2_Rebuilding_Database_Caches_During_Fast..> 28-Nov-2010 04:08 1198696
CSL-91-10_A_Stylus-Based_User_Interface_for_Tex..> 27-Nov-2010 04:43 4575792
CSL-91-13_The_Yggdrasil_Project_Motivation_and_..> 27-Nov-2010 04:43 2054551
CSL-91-1_Low_Latency_Logging.pdf 28-Nov-2010 17:32 1229140
CSL-91-2_Implementing_Long_Lived_Transactions_U..> 28-Nov-2010 17:32 1694415
CSL-91-5_Secure_and_Efficient_Implementation_of..> 28-Nov-2010 17:32 1203035
CSL-91-7_Virtual_Memory_Replacement_Using_Histo..> 28-Nov-2010 17:32 1687402
CSL-91-9_Stylus_User_Interfaces_for_Manipulatin..> 28-Nov-2010 17:33 1368554
CSL-92-10_Using_Collaborative_Filtering_to_Weav..> 28-Nov-2010 17:33 1822467
CSL-93-13_A_Tour_Through_Tapestry.pdf 28-Nov-2010 17:33 1621784
CSL-93-17_Papers_from_the_SunDragon_Project.pdf 28-Nov-2010 17:33 3213803
CSL-93-4_Safe_Efficient_Garbage_Collection_for_..> 27-Nov-2010 04:45 4803847
CSL-93-8_Using_Property_Specifications_to_Achie..> 28-Nov-2010 17:33 5270795
CSL-94-10_Ropes_Are_Better_Than_Strings.pdf 27-Nov-2010 04:50 1570637
EDL-88-3_A_New_Approach_to_Imaging_IC_Layout_an..> 28-Nov-2010 23:57 4868192
EDL-92-1_Device_Independent_Color_Reproduction.pdf 28-Nov-2010 17:33 2603806
ISL-6_Plans_and_Situated_Actions.pdf 28-Nov-2010 23:58 9080138
ISL-81-1_Optimal_Pagination_Techniques_for_Auto..> 13-Sep-2025 04:09 6469915
ISL-83-1_A_Retrospective_on_the_Dorado_-_A_High..> 13-Sep-2025 04:09 4286787
OPD-T8101_48-Bit_Absolute_Internet_and_Ethernet..> 28-Nov-2010 23:58 1477883
OPD-T8102_Evolution_of_the_Ethernet_Sep81.pdf 25-Nov-2010 21:57 3683655
OPD-T8103_The_Clearinghouse.pdf 27-Nov-2010 05:01 4532253
SCG-82-1_Searching_for_Information_in_a_Dynamic..> 13-Sep-2025 21:28 19531564
SCG-82-2_A_Large_Object-Oriented_Virtual_Memory..> 27-Nov-2010 05:26 8527163
SSL-76-6_Smalltalk-72_Instruction_Manual_Mar76.pdf 19-Dec-2008 18:37 5750953
SSL-77-1_Evaluation_of_Mouse_Rate-Controlled_Is..> 19-Dec-2008 18:36 2184206
SSL-77-2_Teaching_Smalltalk.pdf 19-Dec-2008 18:36 3505752
SSL-78-1_Studies_In_The_Psychology_Of_Computer_..> 28-Nov-2010 23:58 8626473
SSL-79-5_An_Annotated_Bibliography_on_Local_Com..> 19-Dec-2008 18:37 3330198
SSL-79-5_An_Annotated_Bibliography_on_Local_Com..> 27-Nov-2010 05:33 3402576
SSL-79-6_Computer_Science_and_Office_Informatio..> 21-Dec-2010 19:48 2994722
SSL-79-7_A_Guide_to_LSI_Implementation_Second_E..> 28-Nov-2010 23:58 13101538
SSL-79-8_On_the_Equivalence_of_Office_Models.pdf 28-Nov-2010 23:58 1450160
SSL-81-1_The_Nature_of_Heuristics.pdf 28-Nov-2010 23:58 4180675
Shoch_Carrying_Voice_Traffic_Through_an_Etherne..> 27-Nov-2010 05:35 1690158
The_Smalltalk-76_Programming_System_Design_and_..> 19-Dec-2008 18:37 1637358
VLSI-81-1_The_Optical_Mouse.pdf 27-Nov-2010 05:49 5496545
VLSI-81-2_The_MPC_Adventures.pdf 27-Nov-2010 05:50 3523318
VLSI-81-3_The_Partitioning_of_Concerns_in_Digit..> 28-Nov-2010 23:58 1351802
VLSI-82-1_The_Organization_of_Expert_Systems_-_..> 13-Sep-2025 21:28 6212011
Xerox_PARC_Blue_and_White_Series_Reports_1973-_..> 26-Nov-2010 23:08 1066010