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