2 papers
cs.CL2025
A generalised editor calculus (Short Paper)
Benjamin Bennetzen, Peter Buus Steffensen, Hans Hüttel +2
In this paper, we present a generalization of a syntax-directed editor calculus, which can be used to instantiate a specialized syntax-directed editor for any language, given by so…
cs.LO2017
Using Session Types for Reasoning About Boundedness in the Pi-Calculus
Hans Hüttel
The classes of depth-bounded and name-bounded processes are fragments of the pi-calculus for which some of the decision problems that are undecidable for the full calculus become d…