Certifying Time Complexity of Agda Programs Using Complexity Signatures

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

Research output: Contribution to conference without publisher/journal › Conference abstract for conference › Research › peer-review

Original language	English
Publication date	Nov 2021
Publication status	Published - Nov 2021
Event	32nd Nordic Workshop on Programming Theory - Reykjavik University, Reykjavik, Iceland Duration: 4 Nov 2021 → 6 Nov 2021 Conference number: 32

Workshop	32nd Nordic Workshop on Programming Theory
Number	32
Location	Reykjavik University
Country/Territory	Iceland
City	Reykjavik
Period	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 -