Talks and Poster Presentations (with Proceedings-Entry):
I. Radicek, G. Barthe, M. Gaboardi, D. Garg, F. Zuleger:
"Monadic refinements for relational cost analysis";
Talk: 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018),
Los Angeles;
2018-01-10
- 2018-01-12; in: "Proceedings of the ACM on Programming Languages",
ACM Digital Library,
New York, NY, USA
(2018),
1
- 32.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3158124
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_277564.pdf
Created from the Publication Database of the Vienna University of Technology.