Conference paper Open Access

Certifying Complexity Analysis

Aubert, Clément; Rubiano, Thomas; Rusch, Neea; Seiller, Thomas

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.7938773", 
  "author": [
    {
      "family": "Aubert, Cl\u00e9ment"
    }, 
    {
      "family": "Rubiano, Thomas"
    }, 
    {
      "family": "Rusch, Neea"
    }, 
    {
      "family": "Seiller, Thomas"
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2023, 
        1, 
        21
      ]
    ]
  }, 
  "abstract": "This work drafts a strategy that leverages the field of Implicit Computational Complexity to certify resource usage in imperative programs. This original approach sidesteps some of the most common\u2013and difficult\u2013obstacles \"traditional\" complexity theory face when implemented in Coq.", 
  "title": "Certifying Complexity Analysis", 
  "type": "paper-conference", 
  "id": "7938773"
}
19
7
views
downloads
All versions This version
Views 1919
Downloads 77
Data volume 1.4 MB1.4 MB
Unique views 1919
Unique downloads 77
More info on how stats are collected.
Indexed in
Publication date:
January 21, 2023
DOI:
10.5281/zenodo.7938773

Zenodo DOI Badge

DOI 

10.5281/zenodo.7938773

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7938773.svg)](https://doi.org/10.5281/zenodo.7938773)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7938773.svg
   :target: https://doi.org/10.5281/zenodo.7938773

HTML 

<a href="https://doi.org/10.5281/zenodo.7938773"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7938773.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7938773.svg

Target URL 

https://doi.org/10.5281/zenodo.7938773

License (for files):
Creative Commons Attribution No Derivatives 4.0 International

Versions

Version 1 10.5281/zenodo.7938773 Jan 21, 2023
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7938772. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export