Dictionary

alist en · NOUN

Pronunciation

• /ˈeɪ.lɪst/

Etymology

Abbreviation of association list.

Meanings

1. An association list.
   • We use alists extensively in this work. A directed graph is an alist associating vertices with edge lists. 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

Forms