Showing cs.LOShow all
3 papers · 1 filter
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…
cs.LO2015
Lucretia - intersection type polymorphism for scripting languages
Marcin Benke, Viviana Bono, Aleksy Schubert
Scripting code may present maintenance problems in the long run. There is, then, the call for methodologies that make it possible to control the properties of programs written in d…