Sciweavers

Share
12 search results - page 1 / 3
» fossacs 2016
Sort
View
FOSSACS
2016
Springer
4 years 3 months ago
Reasoning About Call-by-need by Means of Types
Abstract. We first develop a (semantical) characterization of call-byneed normalization by means of typability, i.e. we show that a term is normalizing in call-by-need if and only...
Delia Kesner
FOSSACS
2016
Springer
4 years 3 months ago
Regular Transformations of Data Words Through Origin Information
We introduce a class of transformations of finite data words generalizing the well-known class of regular finite string transformations described by MSO-definable transductions ...
Antoine Durand-Gasselin, Peter Habermehl
FOSSACS
2016
Springer
4 years 3 months ago
Join Inverse Categories as Models of Reversible Recursion
Recently, a number of reversible functional programming languages have been proposed. Common to several of these is the assumption of totality, a property that is not necessarily d...
Holger Bock Axelsen, Robin Kaarsgaard
FOSSACS
2016
Springer
4 years 3 months ago
Focused and Synthetic Nested Sequents
Focusing is a general technique for transforming a sequent proof system into one with a syntactic separation of non-deterministic choices without sacrificing completeness. This no...
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßbu...
FOSSACS
2016
Springer
4 years 3 months ago
Unary Resolution: Characterizing Ptime
We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring (whose elements can be understood as logic pr...
Clément Aubert, Marc Bagnol, Thomas Seiller
books