Accumulators: New logic variable abstractions for functional languages

DOI10.1016/0304-3975(91)90191-4MaRDI QIDQ808233zbMATH OpenOpenAlexFDO

Authors Keshav Pingali, Kattamuri Ekanadham

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://hdl.handle.net/1813/6792

zbMATH Keywords

accumulatorsdeclarative languageslogic variables

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 4092731
• A note on higher-order functions versus logical variables
• scientific article; zbMATH DE number 512893
• scientific article; zbMATH DE number 4180815
• Functional Logic Programming: From Theory to Curry

Cites work

• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3997149 (Why is no real title available?)
• An Efficient Unification Algorithm
• The relation between logic and functional languages: a survey

Cited in

(2)

• A note on higher-order functions versus logical variables
• scientific article; zbMATH DE number 4092731 (Why is no real title available?)

This page was built for publication: Accumulators: New logic variable abstractions for functional languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q808233)