An improved bottom-up method for implementing equational programming language

DOI10.1007/BF02939487zbMath0804.68018OpenAlexW2038930971MaRDI QIDQ1322391

Qilong Han, Ruzhan Lu, Yong-Qiang Sun

Publication date: 25 January 1995

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02939487

zbMATH Keywords

equational logicbottom-up methodequational programming languagetree pattern-matching

Mathematics Subject Classification ID

Theory of programming languages (68N15) Artificial intelligence (68T99) Logic programming (68N17)

This page was built for publication: An improved bottom-up method for implementing equational programming language