--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on October 2017 ---
Hi, Iâm a graduate student in the University of Delaware. Currently, I am studying on some array logic things like the array addition. And Iâm trying to create annotations for functions processing arrays. Is it possible to express a logic function returning an array in ACSL? Sincerely, Wenhao Wu