collaborators

1 paper

cs.PL2026

Semantically Reflected Programs

Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu +4

This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an…