Alist vs Arist - What's the difference?
alist | arist |
(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:
As a noun alist
is (computing) association list in lisp.As an adverb arist is
(lb).alist
English
Noun
(en noun)- We use alists' extensively in this work. A directed graph is an ' alist associating vertices with edge lists.
