Found 5 Documents (Results 1–5)
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free. (English) Zbl 1522.68161
Automatic space bound analysis for functional programs with garbage collection. (English) Zbl 1415.68058
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 543-563 (2018).
MSC:
68N18
Towards automatic resource bound analysis for OCaml. (English) Zbl 1380.68123
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 359-373 (2017).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (2)
all
top 5
Author
- Hoffmann, Jan-Philipp (3)
- Zuleger, Florian (2)
- Das, Ankush (1)
- Jost, Steffen (1)
- Niu, Yue (1)
- Pani, Thomas (1)
- Sinn, Moritz (1)
- Veith, Helmut (1)
- Weissenbacher, Georg (1)
- Weng, Shu-Chun (1)