Arnon Amir, Michael Lindenbaum
IEEE Transactions on Pattern Analysis and Machine Intelligence
Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebra semantics. In this paper an overview of initial algebra semantics is provided. The major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations. © 1977, ACM. All rights reserved.
Arnon Amir, Michael Lindenbaum
IEEE Transactions on Pattern Analysis and Machine Intelligence
Arthur Nádas
IEEE Transactions on Neural Networks
Segev Shlomov, Avi Yaeli
CHI 2024
Bemali Wickramanayake, Zhipeng He, et al.
Knowledge-Based Systems