Certifying Time Complexity of Agda Programs Using Complexity Signatures

Hans Hüttel, Christian Bach Møllnitz, Johannes Elgaard, Simon Rannes

Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

Originalsprog	Engelsk
Publikationsdato	nov. 2021
Status	Udgivet - nov. 2021
Begivenhed	32nd Nordic Workshop on Programming Theory - Reykjavik University, Reykjavik, Island Varighed: 4 nov. 2021 → 6 nov. 2021 Konferencens nummer: 32

Workshop	32nd Nordic Workshop on Programming Theory
Nummer	32
Lokation	Reykjavik University
Land/Område	Island
By	Reykjavik
Periode	04/11/2021 → 06/11/2021

AUB Link

@conference{8ede6ebc5d4e474fbcd0e2fe5b131fcc,

title = "Certifying Time Complexity of Agda Programs Using Complexity Signatures",

author = "Hans H{\"u}ttel and M{\o}llnitz, {Christian Bach} and Johannes Elgaard and Simon Rannes",

year = "2021",

month = nov,

language = "English",

note = "32nd Nordic Workshop on Programming Theory ; Conference date: 04-11-2021 Through 06-11-2021",

}

TY - ABST

T1 - Certifying Time Complexity of Agda Programs Using Complexity Signatures

AU - Hüttel, Hans

AU - Møllnitz, Christian Bach

AU - Elgaard, Johannes

AU - Rannes, Simon

N1 - Conference code: 32

PY - 2021/11

Y1 - 2021/11

UR - http://icetcs.ru.is/nwpt21/abstracts/paper9.pdf

M3 - Conference abstract for conference

T2 - 32nd Nordic Workshop on Programming Theory

Y2 - 4 November 2021 through 6 November 2021

ER -