Accumulators: New logic variable abstractions for functional languages
From MaRDI portal
Publication:808233
DOI10.1016/0304-3975(91)90191-4zbMath0731.68020OpenAlexW2008949140MaRDI QIDQ808233
Kattamuri Ekanadham, Keshav Pingali
Publication date: 1991
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/1813/6792
Cites Work
This page was built for publication: Accumulators: New logic variable abstractions for functional languages