alist
English
Alternative forms
- a-list
Etymology
Abbreviation of association list.
Pronunciation
- IPA(key): /ˈeɪ.lɪst/
Noun
alist (plural alists)
- (programming) An association list.
- 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.
- 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:
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.