We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: A generic imperative language for polynomial time

Abstract: We propose a generic imperative programming language STR that captures PTime computations, on both infinite inductive structures and families of finite structures. The approach, set up in [29] for primitive-recursive complexity, construes finite partial-functions as a universal canonical form of data, and uses structure components for loop variants. STR is obtained by the further refinement that assigns ranks to finite partial-functions, which regulate the interaction of loops, yielding programs that run in polynomial time. STR captures algorithms that have eluded ramified recurrence, and is promising as an artifact of Implicit Complexity which is malleable to static analysis implementations.
Comments: 18 pages, submitted to a conference
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Logic (math.LO)
ACM classes: D.3.3; F.3.2; F.4.1; F.1.3
Cite as: arXiv:1911.04026 [cs.LO]
  (or arXiv:1911.04026v1 [cs.LO] for this version)

Submission history

From: Daniel Leivant [view email]
[v1] Mon, 11 Nov 2019 01:15:07 GMT (89kb)

Link back to: arXiv, form interface, contact.