DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Hash consing
Hash consing
Efficient Immutable Collections
Selective Memoization∗
Type-Safe Modular Hash-Consing
Lively Linear Lisp — 'Look Ma, No Garbage!'1 Henry G
Analysis and Reduction of Memory Inefficiencies in Java Strings
Efficient Tabling of Structured Data with Enhanced Hash-Consing
Object Equality Profiling
Implementing and Reasoning About Hash-Consed Data Structures in Coq
Software Design Pattern 1 Software Design Pattern
A Dynamic Analysis to Support Object-Sharing Code Refactorings
Representation Sharing for Prolog 3
Convenient, and Abstract Type Representations
Sealing Pointer-Based Optimizations Behind Pure Functions
Satisfiability Modulo Theory
Dissertation Title: Modular Set-Based Analysis from Contracts Author: Philippe Meunier Department: Computer Science
Function Memoization and Unique Object Representation for ACL2 Functions
Top View