11 papers:
- ICLP-J-2011-GuzmanCCH #backtracking #independence #parallel
- Parallel backtracking with answer memoing for independent and-parallelism (PCdG, AC, MC, MVH), pp. 555–574.
- PADL-2008-BecketS #definite clause grammar #parsing #question
- DCGs + Memoing = Packrat Parsing but Is It Worth It? (RB, ZS), pp. 182–196.
- PPDP-2000-RoychoudhuryRR #proving #using
- Justifying proofs using memo tables (AR, CRR, IVR), pp. 178–189.
- ASPLOS-1998-CitronFR #implementation #multi
- Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units (DC, DGF, LR), pp. 252–261.
- ICFP-1997-CookL
- Disposable Memo Functions (Extended Abstract) (BC, JL), p. 310.
- HCI-SEC-1997-OomikaNN #idea #interface #scalability
- Idea Memo PDA in Scalable Handwriting Interfaces (KO, AN, MN), pp. 455–458.
- LOPSTR-1995-Wunderwald #evaluation #text-to-text
- Memoing Evaluation by Source-to-Source Transformation (JEW), pp. 17–32.
- PLILP-1995-Wunderwald #evaluation #implementation
- A Portable Implementation of Memoing Evaluation (JEW), pp. 465–466.
- LOPSTR-1993-TarauB #delphi
- Memoing with Abstract Answers and Delphi Lemmas (PT, KDB), pp. 196–209.
- SLP-1987-Dietrich87 #logic programming
- Extension Tables: Memo Relations in Logic Programming (SWD), pp. 264–272.
- FPCA-1985-Hughes85 #lazy evaluation
- Lazy Memo-functions (JH), pp. 129–146.