Index of /sites/bitsavers/pdf/xerox/parc/techReports

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]CIS-5_Papers_on_Interlisp-D_rev_198301.pdf2025-09-13 16:29 7.2M 
[ ]CSL-73-1_An_Interactive_Program_Verifier_197305_rev197607.pdf2025-09-13 23:27 7.7M 
[ ]CSL-73-2_New_Programming_Languages_For_AI_Research.pdf2010-11-28 02:13 2.4M 
[ ]CSL-73-3_The_Implementation_of_NLS_on_a_Minicomputer.pdf2008-12-19 19:35 1.9M 
[ ]CSL-73-4_Omnigraph_Simple_Terminal-Indepenent_Graphics_Software.pdf2010-11-27 05:40 3.0M 
[ ]CSL-74-1_A_Postmortem_for_a_Timesharing_System.pdf2008-12-19 19:35 6.1M 
[ ]CSL-74-3_Introducing_Iteration_Into_the_Pure_LISP_Theorem_Prover_rev_197503.pdf2025-09-13 05:35 2.4M 
[ ]CSL-75-1_On_the_Problem_of_Uniform_References_to_Data_Structures_197501.pdf2025-09-13 05:35 2.6M 
[ ]CSL-75-3_A_Space-Economical_Suffix_Tree_Construction_Algorithm_197504.pdf2025-09-13 16:29 1.9M 
[ ]CSL-75-4_Some_Principles_of_Memory_Schemata_197507.pdf2025-09-13 05:35 2.0M 
[ ]CSL-75-5_Dimensions_of_Representation_197507.pdf2025-09-13 05:35 2.8M 
[ ]CSL-75-6_Subgoal_Induction_197507.pdf2025-09-13 05:35 2.2M 
[ ]CSL-75-7_Ethernet_Distributed_Packet_Switching_for_Local_Computer_Networks.pdf2010-02-06 00:27 1.4M 
[ ]CSL-75-8_Goal-Directed_Program_Transformation_197509.pdf2025-09-13 23:27 2.5M 
[ ]CSL-76-1_A_Fast_String_Searching_Algorithm.pdf2010-11-28 02:13 1.7M 
[ ]CSL-76-2_Constructive_Methods_in_Program_Verification_197607.pdf2025-09-13 16:29 2.3M 
[ ]CSL-76-3_The_Analysis_of_Hashing_Algorithms.pdf2010-11-28 02:14 4.7M 
[ ]CSL-76-4_An_Overview_of_KRL_-_A_Knowledge_Representation_Language_19760704.pdf2025-09-13 05:35 4.4M 
[ ]CSL-76-5_The_Interlisp_Virtual_Machine_Specification.pdf2008-12-19 19:36 11M 
[ ]CSL-76-6_Early_Experience_With_Mesa.pdf2010-11-27 05:41 2.0M 
[ ]CSL-77-1_Schemes_-_A_High_Level_Data_Structuring_Concept_197701.pdf2025-09-13 05:35 3.5M 
[ ]CSL-77-2_Strategy_Construction_using_a_Synthesis_of_Heuristic_and_Decision-Theoretic_Methods.pdf2010-11-28 04:06 8.5M 
[ ]CSL-77-3_A_Display_Oriented_Programmers_Assistant.pdf2010-11-28 04:06 2.9M 
[ ]CSL-77-4_A_Necessary_and_Sufficient_Condition_for_the_Existence_of_Hoare_Logics_197706.pdf2025-09-13 16:29 1.5M 
[ ]CSL-78-3_Empirical_Estimates_of_Program_Entropy.pdf2010-11-28 04:06 7.1M 
[ ]CSL-78-4_Using_Encryption_for_Authentication_in_Large_Networks_of_Computers.pdf2010-11-28 04:06 1.3M 
[ ]CSL-78-5_Separating_Data_From_Function_in_a_Distributed_File_System_197809.pdf2025-09-13 05:36 1.9M 
[ ]CSL-79-1_Monitoring_System_Behavior_In_a_Complex_Computational_Environment_197901.pdf2025-09-13 05:39 19M 
[ ]CSL-79-3_Mesa_Language_Manual_Version_5.0.pdf2010-11-29 20:57 18M 
[ ]CSL-79-4_Transport_of_Electronic_Messages_Through_a_Network.pdf2010-11-27 05:41 1.3M 
[ ]CSL-79-5_Formalizing_the_Analysis_of_Algorithms_197906.pdf2025-09-13 23:27 12M 
[ ]CSL-79-6_Raster_Graphics_for_Interactive_Programming_Environments.pdf2010-11-28 04:06 2.6M 
[ ]CSL-79-6_Raster_Graphics_for_Interactive_Programming_Environments_197906.pdf2025-09-13 06:09 3.5M 
[ ]CSL-79-7_Compact_Encodings_of_List_Structure.pdf2010-11-28 04:06 2.0M 
[ ]CSL-79-8_Code_Generation_and_Machine_Descriptions.pdf2010-11-27 05:41 3.2M 
[ ]CSL-79-9_An_Entity-Based_Database_Interface.pdf2010-11-28 04:06 1.3M 
[ ]CSL-79-10_Pup_An_Internetwork_Architecture_Jul79.pdf2010-11-23 02:28 3.6M 
[ ]CSL-79-11_Alto_A_Personal_Computer.pdf2010-11-27 05:41 6.3M 
[ ]CSL-79-12_Violet_an_Experimental_Decentralized_System.pdf2010-11-27 05:41 1.4M 
[ ]CSL-79-13_WFS_A_Simple_Shared_File_System_for_a_Distributed_Environment.pdf2010-11-27 05:41 1.4M 
[ ]CSL-79-14_Weighted_Voting_for_Replicated_Data.pdf2010-11-27 05:41 1.7M 
[ ]CSL-80-2_The_Ethernet_Local_Network_-_Three_Reports_198002.pdf2025-09-13 23:27 5.7M 
[ ]CSL-80-3_A_Client-Based_Transaction_System_To_Maintain_Data_Integrity_198003.pdf2025-09-13 16:30 1.6M 
[ ]CSL-80-4_Efficient_Dynamic_Programming_Using_Quadrangle_Inequalities_198003.pdf2025-09-13 16:30 1.4M 
[ ]CSL-80-5_A_Layered_Approach_to_Software_Design.pdf2010-11-27 05:41 2.3M 
[ ]CSL-80-6_The_Display_of_Characters_Using_Gray_Level_Sample_Arrays.pdf2010-11-28 04:07 1.1M 
[ ]CSL-80-7_Displaying_Data_Structures_for_Interactive_Debugging_198006.pdf2025-09-13 23:27 8.8M 
[ ]CSL-80-8_Stress_and_Salience_in_English_-_Theory_and_Practice_198005.pdf2025-09-13 23:27 14M 
[ ]CSL-80-9_Efficient_Algorithms_for_Enumerating_Intersecting_Intervals_and_Rectangles_198006.pdf2025-09-13 16:30 1.4M 
[ ]CSL-80-10_Requirements_for_an_Experimental_Programming_Environment.pdf2008-12-19 19:36 4.1M 
[ ]CSL-80-11_The_Proper_Place_of_Men_and_Machines_in_Language_Translation_198010.pdf2025-09-13 06:09 2.8M 
[ ]CSL-80-12_Algorithm_Schemata_and_Data_Structures_in_Syntactic_Processing_198010.pdf2025-09-13 16:30 3.9M 
[ ]CSL-81-1_The_Dorado_A_High-Performance_Personal_Computer_Three_Papers.pdf2008-12-19 19:36 9.3M 
[ ]CSL-81-2_The_TXDT_Package.pdf2010-11-27 05:41 2.6M 
[ ]CSL-81-2_The_TXDT_Package_-_Interlisp_Text_Editing_Primitives_198101.pdf2025-09-13 06:09 4.0M 
[ ]CSL-81-3_An_Experimental_Description-Based_Programming_Environment.pdf2010-11-28 04:07 3.7M 
[ ]CSL-81-6_Laurel_Manual_198105.pdf2025-09-13 23:27 8.8M 
[ ]CSL-81-7_Trellis_Data_Compression_198106.pdf2025-09-13 06:09 8.6M 
[ ]CSL-81-8_Information_Storage_in_a_Decentralized_Computer_System.pdf2010-11-27 05:42 6.7M 
[ ]CSL-81-9_Remote_Procedure_Call.pdf2010-11-28 04:13 13M 
[ ]CSL-81-10_Techniques_for_Program_Verification_198106.pdf2025-09-13 23:27 12M 
[ ]CSL-81-11_Real_Programming_in_Functional_Languages.pdf2010-11-28 04:08 2.1M 
[ ]CSL-81-12_Report_On_The_Programming_Language_Euclid.pdf2008-12-19 19:36 4.9M 
[ ]CSL-82-1_Cryptographic_Sealing_for_Information_Secrecy_and_Authentication_198202.pdf2025-09-13 06:09 2.4M 
[ ]CSL-82-2_An_Analysis_of_a_Mesa_Instruction_Set.pdf2010-11-27 05:42 1.5M 
[ ]CSL-82-3_Some_Notes_on_Putting_Formal_Specifications_to_Productive_Use_198206.pdf2025-09-13 06:09 2.0M 
[ ]CSL-82-4_Grapevine_-_an_Exercise_in_Distributed_Computing_198206.pdf2025-09-13 16:30 3.2M 
[ ]CSL-82-5_Packet-Voice_Communication_on_an_Ethernet_Local_Comptuer_Network.pdf2010-11-27 05:42 1.8M 
[ ]CSL-82-7_Controlling_Large_Software_Development_In_a_Distributed_Environment.pdf2010-11-28 05:07 7.5M 
[ ]CSL-83-1_An_Interactive_High-Level_Debugger_for_Control-Flow_Optimized_Programs.pdf2010-11-28 05:07 2.1M 
[ ]CSL-83-4_Design_and_Implementation_of_a_Relationship-Entity-Datum_Data_Model_198305.pdf2025-09-13 23:27 11M 
[ ]CSL-83-5_Data_Types_Are_Values.pdf2010-11-27 05:42 1.8M 
[ ]CSL-83-7_Implementing_Remote_Procedure_Calls.pdf2010-11-27 05:42 2.0M 
[ ]CSL-83-8_Adding_Voice_to_an_Office_Computer_Network.pdf2010-11-27 05:42 2.1M 
[ ]CSL-83-9_The_Semantics_of_Lazy_And_Industrious_Evaluation.pdf2010-11-28 05:07 2.2M 
[ ]CSL-83-11_The_Cedar_Programming_Environment_A_Midterm_Report_and_Examination.pdf2010-11-27 05:42 13M 
[ ]CSL-83-12_Grapevine_-_Two_Papers_and_a_Report_198312.pdf2025-09-13 16:30 8.7M 
[ ]CSL-84-4_The_Alpine_File_System.pdf2010-11-27 05:42 2.6M 
[ ]CSL-84-7_On_Adding_Garbage_Collection_and_Runtime_Types_to_a_Strongly-Typed_Statically-Checked_Concurrent_Language.pdf2010-11-27 05:42 1.7M 
[ ]CSL-85-01_Distributed_Name_Servers.pdf2010-11-27 05:43 9.3M 
[ ]CSL-85-8_An_Effective_Test_Strategy.pdf2010-11-27 05:43 1.5M 
[ ]CSL-85-9_Walnut_Storing_Electronic_Mail_in_a_Database.pdf2010-11-27 05:43 1.7M 
[ ]CSL-86-1_A_Structural_View_of_the_Cedar_Programming_Environment_198606.pdf2025-09-13 23:27 8.0M 
[ ]CSL-86-3_Voice_Annotation_and_Editing_in_a_Workstation_Environment.pdf2010-11-27 05:43 2.9M 
[ ]CSL-87-7_Reimplementing_the_Cedar_File_System_Using_Logging_and_Group_Commit.pdf2010-11-27 05:43 1.4M 
[ ]CSL-89-1_Epidemic_Algorithms_for_Replicated_Database_Maintenance.pdf2010-11-28 05:07 2.1M 
[ ]CSL-89-2_Etherphone_Collected_Papers_1987-1988.pdf2010-11-27 05:43 4.9M 
[ ]CSL-89-3_Data_Compression_with_Finite_Windows.pdf2010-11-28 05:08 2.5M 
[ ]CSL-89-4_UNIX_Needs_A_True_Integrated_Environment.pdf2010-11-28 05:08 1.3M 
[ ]CSL-89-6_Efficient_Binary_Space_Partitions_for_Hidden-Surface_Removal_and_Solid_Modeling_.pdf2025-09-13 06:09 1.8M 
[ ]CSL-89-6_Efficient_Binary_Space_Partitions_for_Hidden-Surface_Removal_and_Solid_Modeling_198907.pdf2025-09-13 06:09 1.8M 
[ ]CSL-89-7_Browsing_Electronic_Mail_Experiences_Interfacing_a_Mail_System_to_a_DBMS.pdf2010-11-28 05:08 1.5M 
[ ]CSL-89-8_Experiences_Creating_a_Portable_Cedar.pdf2010-11-28 05:08 1.3M 
[ ]CSL-90-2_Rebuilding_Database_Caches_During_Fast_Crash_Recovery.pdf2010-11-28 05:08 1.1M 
[ ]CSL-91-1_Low_Latency_Logging.pdf2010-11-28 18:32 1.2M 
[ ]CSL-91-2_Implementing_Long_Lived_Transactions_Using_Log_Record_Forwarding.pdf2010-11-28 18:32 1.6M 
[ ]CSL-91-5_Secure_and_Efficient_Implementation_of_Abstract_Data_Types_for_Databases.pdf2010-11-28 18:32 1.1M 
[ ]CSL-91-7_Virtual_Memory_Replacement_Using_Historical_Information_on_Virtual_Objects.pdf2010-11-28 18:32 1.6M 
[ ]CSL-91-9_Stylus_User_Interfaces_for_Manipulating_Text.pdf2010-11-28 18:33 1.3M 
[ ]CSL-91-10_A_Stylus-Based_User_Interface_for_Text_Entry_and_Editing.pdf2010-11-27 05:43 4.4M 
[ ]CSL-91-13_The_Yggdrasil_Project_Motivation_and_Design.pdf2010-11-27 05:43 2.0M 
[ ]CSL-92-10_Using_Collaborative_Filtering_to_Weave_an_Information_Tapestry.pdf2010-11-28 18:33 1.7M 
[ ]CSL-93-4_Safe_Efficient_Garbage_Collection_for_C++.pdf2010-11-27 05:45 4.6M 
[ ]CSL-93-8_Using_Property_Specifications_to_Achieve_Graceful_Disconnected_Operation_in_aN_Intermittent_Mobile_Computing_Environment.pdf2010-11-28 18:33 5.0M 
[ ]CSL-93-13_A_Tour_Through_Tapestry.pdf2010-11-28 18:33 1.5M 
[ ]CSL-93-17_Papers_from_the_SunDragon_Project.pdf2010-11-28 18:33 3.1M 
[ ]CSL-94-10_Ropes_Are_Better_Than_Strings.pdf2010-11-27 05:50 1.5M 
[ ]EDL-88-3_A_New_Approach_to_Imaging_IC_Layout_and_Schematics.pdf2010-11-29 00:57 4.6M 
[ ]EDL-92-1_Device_Independent_Color_Reproduction.pdf2010-11-28 18:33 2.5M 
[ ]ISL-6_Plans_and_Situated_Actions.pdf2010-11-29 00:58 8.7M 
[ ]ISL-81-1_Optimal_Pagination_Techniques_for_Automatic_Typesetting_Systems_198108.pdf2025-09-13 06:09 6.2M 
[ ]ISL-83-1_A_Retrospective_on_the_Dorado_-_A_High-Performance_Personal_Computer_198308.pdf2025-09-13 06:09 4.1M 
[ ]ISL-83-1_A_Retrospective_on_the_Dorado_A_High-Performance_Personal_Computer.pdf2008-12-19 19:36 4.0M 
[ ]OPD-T8101_48-Bit_Absolute_Internet_and_Ethernet_Host_Numbers.pdf2010-11-29 00:58 1.4M 
[ ]OPD-T8102_Evolution_of_the_Ethernet_Sep81.pdf2010-11-25 22:57 3.5M 
[ ]OPD-T8103_The_Clearinghouse.pdf2010-11-27 06:01 4.3M 
[ ]SCG-82-1_Searching_for_Information_in_a_Dynamic_Book_198202.pdf2025-09-13 23:28 19M 
[ ]SCG-82-2_A_Large_Object-Oriented_Virtual_Memory.pdf2010-11-27 06:26 8.1M 
[ ]SSL-76-6_Smalltalk-72_Instruction_Manual_Mar76.pdf2008-12-19 19:37 5.5M 
[ ]SSL-77-1_Evaluation_of_Mouse_Rate-Controlled_Isometric_Joystick_Step_Keys_and_Text_Keys_for_Text_Selection_on_a_CRT.pdf2008-12-19 19:36 2.1M 
[ ]SSL-77-2_Teaching_Smalltalk.pdf2008-12-19 19:36 3.3M 
[ ]SSL-78-1_Studies_In_The_Psychology_Of_Computer_Text_Editing_Systems.pdf2010-11-29 00:58 8.2M 
[ ]SSL-79-5_An_Annotated_Bibliography_on_Local_Computer_Networks.pdf2008-12-19 19:37 3.2M 
[ ]SSL-79-5_An_Annotated_Bibliography_on_Local_Computer_Networks_Oct79.pdf2010-11-27 06:33 3.2M 
[ ]SSL-79-6_Computer_Science_and_Office_Information_Systems.pdf2010-12-21 20:48 2.9M 
[ ]SSL-79-7_A_Guide_to_LSI_Implementation_Second_Edition.pdf2010-11-29 00:58 12M 
[ ]SSL-79-8_On_the_Equivalence_of_Office_Models.pdf2010-11-29 00:58 1.4M 
[ ]SSL-81-1_The_Nature_of_Heuristics.pdf2010-11-29 00:58 4.0M 
[ ]Shoch_Carrying_Voice_Traffic_Through_an_Ethernet_Local_Network_Aug80.pdf2010-11-27 06:35 1.6M 
[ ]The_Smalltalk-76_Programming_System_Design_and_Implementation.pdf2008-12-19 19:37 1.6M 
[ ]VLSI-81-1_The_Optical_Mouse.pdf2010-11-27 06:49 5.2M 
[ ]VLSI-81-2_The_MPC_Adventures.pdf2010-11-27 06:50 3.4M 
[ ]VLSI-81-3_The_Partitioning_of_Concerns_in_Digital_System_Design.pdf2010-11-29 00:58 1.3M 
[ ]VLSI-82-1_The_Organization_of_Expert_Systems_-_A_Perspective_Tutorial_198201.pdf2025-09-13 23:28 5.9M 
[ ]Xerox_PARC_Blue_and_White_Series_Reports_1973-_May90.pdf2010-11-27 00:08 1.0M 
Apache/2.4.65 (Debian) Server at ftpmirror.infania.net Port 443