# alist

## Contents

## EnglishEdit

### EtymologyEdit

Abbreviation of *association list*.

### PronunciationEdit

- IPA
^{(key)}: /ˈeɪlɪst/

### NounEdit

**alist** (*plural* **alists**)

- (computing) association list in LISP.
- J. S. Moore and Q. Zhang,
*Proof Pearl: Dijkstra’s Shortest Path Algorithm Verified with ACL2*, in Joe Hurd and Tom F. Melham (ed.),*Theorem proving in higher order logics: 18th international conference*, 2005, p. 375:- We use
**alists**extensively in this work. A directed graph is an**alist**associating vertices with edge lists.

- We use

- J. S. Moore and Q. Zhang,