DeepAI AI Chat
Log In Sign Up

Cons-free Programs and Complexity Classes between LOGSPACE and PTIME

08/07/2020
by   Neil D. Jones, et al.
Københavns Uni
Radboud Universiteit
0

Programming language concepts are used to give some new perspectives on a long-standing open problem: is logspace = ptime ?

READ FULL TEXT

page 1

page 2

page 3

page 4

12/13/2022

A programming language characterizing quantum polynomial time

We introduce a first-order quantum programming language, named FOQ, whos...
06/04/2015

Programs as Polypeptides

We describe a visual programming language for defining behaviors manifes...
08/09/2017

From Reversible Programs to Univalent Universes and Back

We establish a close connection between a reversible programming languag...
11/28/2020

Discrete Math with Programming: A Principled Approach

Discrete mathematics is the foundation of computer science. It focuses o...
11/13/2019

Zoea – Composable Inductive Programming Without Limits

Automatic generation of software from some form of specification has bee...
08/01/2021

Deciding boundedness of monadic sirups

We show that deciding boundedness (aka FO-rewritability) of monadic sing...
06/28/2021

A Dictionary-Passing Translation of Featherweight Go

The Go programming language is an increasingly popular language but some...