Accumulators: New logic variable abstractions for functional languages

DOI10.1016/0304-3975(91)90191-4zbMATH Open0731.68020OpenAlexW2008949140MaRDI QIDQ808233FDOQ808233

Authors: Keshav Pingali, Kattamuri Ekanadham 

Publication date: 1991

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

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

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

zbMATH Keywords

accumulatorsdeclarative languageslogic variables

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• An Efficient Unification Algorithm
• Title not available (Why is that?)
• The relation between logic and functional languages: a survey
• Title not available (Why is that?)

Cited In (2)

• A note on higher-order functions versus logical variables
• Title not available (Why is that?)

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)