| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Some programming languages for LOGSPACE and PTIME
Abstract : We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization shows that adding a choice command to a Ptime language (the language WHILE of Jones) may not necessarily provide NPtime computations. The result is close to Cook who used “auxiliary push-down automata”. Logspace is obtained through a decidable mechanism of tiering. It is based on an analysis of deforestation due to Wadler in. We get also a characterization of NLogspace.
Cited literature [18 references]
https://hal.inria.fr/inria-00105744
Contributor : Guillaume Bonfante <>
Submitted on : Thursday, October 12, 2006 - 11:40:29 AM
Last modification on : Friday, February 26, 2021 - 3:28:02 PM
Long-term archiving on: : Thursday, September 20, 2012 - 11:45:24 AM
Contributor : Guillaume Bonfante <>
Submitted on : Thursday, October 12, 2006 - 11:40:29 AM
Last modification on : Friday, February 26, 2021 - 3:28:02 PM
Long-term archiving on: : Thursday, September 20, 2012 - 11:45:24 AM