Monadic Refinements for Relational Cost Analysis

Radiček, Ivan; Barthe, Gilles; Gaboardi, Marco; Garg, Deepak; Zuleger, Florian

doi:10.1145/3158124

Local TagsRelease HistoryDetailsSummary

Monadic Refinements for Relational Cost Analysis

Radiček, I., Barthe, G., Gaboardi, M., Garg, D., & Zuleger, F. (2018). Monadic Refinements for Relational Cost Analysis. Proceedings of the ACM on Programming Languages, 2(POPL): 36, pp. 1-32. doi:10.1145/3158124.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0003-34BF-C Version Permalink: https://hdl.handle.net/21.11116/0000-0003-34C0-9

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Radiček, Ivan¹, Author
Barthe, Gilles¹, Author
Gaboardi, Marco¹, Author
Garg, Deepak², Author
Zuleger, Florian¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2018Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1145/3158124
BibTex Citekey: Radicek_POPL2018

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the ACM on Programming Languages

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: 2 (POPL) Sequence Number: 36 Start / End Page: 1 - 32 Identifier: ISSN: 2475-1421