Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: A generic imperative language for polynomial time
(Submitted on 11 Nov 2019 (this version), latest version 19 Feb 2020 (v2))
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.
Submission history
From: Daniel Leivant [view email][v1] Mon, 11 Nov 2019 01:15:07 GMT (89kb)
[v2] Wed, 19 Feb 2020 02:10:18 GMT (81kb)
Link back to: arXiv, form interface, contact.