3 citations · 4 across the 7 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018
Formalisation of a frame stack semantics for a Java-like language
Aleksy Schubert, Jacek Chrząszcz
We present a Coq formalisation of the small-step operational semantics of Jafun, a small Java-like language with classes. This format of semantics makes it possible to naturally sp…
cs.LO2018
First-order answer set programming as constructive proof search
Aleksy Schubert, Paweł Urzyczyn
We propose an interpretation of the first-order answer set programming (FOASP) in terms of intuitionistic proof theory. It is obtained by two polynomial translations between FOASP…