Abstract : Implicit Computational Complexity makes two aspects implicit, by manipulating programming languages rather than models of computation, and by internalizing the bounds rather than using external measure. We survey how automata theory contributed to complexity with a machine-dependant with implicit bounds model.
https://hal.archives-ouvertes.fr/hal-01111737 Contributor : Clément AubertConnect in order to contact the contributor Submitted on : Friday, May 29, 2015 - 11:18:30 AM Last modification on : Thursday, October 21, 2021 - 3:49:58 AM Long-term archiving on: : Monday, April 24, 2017 - 5:44:57 PM