Hacker Newsnew | past | comments | ask | show | jobs | submitloginAbstract Machines for Logic Programs (chrisistyping.bearblog.dev)7 points by surprisetalk 1 hour ago | hide | past | favorite | 1 comment help Twisol 21 minutes ago [–] > I've recently been curious about the abstract machines implied by this process for other kinds of programs.Olivier Danvy's "Rational Reconstruction of the SECD Machine" [0] explores the idea of this transformation as well, but frames it as a relationship between operational and denotational semantics:> This deconstruction–reconstruction is actually interesting in itself because it provides a bridge between small-step operational semantics (in the form of an abstract machine) and denotational semantics (in the form of a compositional evaluation function)His work on (de/re)functionalization is super interesting.[0]: https://link.springer.com/chapter/10.1007/11431664_4reply Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: