Research output per year
Research output per year
Search results
-
2023
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 Jul 2023, In: Leibniz International Proceedings in Informatics. 268, p. 28:1 28 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access -
2021
Machine-Checked Semantic Session Typing
Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 178–198Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
2020
Actris: session-type based reasoning in separation logic
Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, Proceedings of the ACM on Programming Languages. Wadler, P. (ed.). Association for Computing Machinery, Vol. 4. p. 6:1 30 p. 6Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
2016
Coqoon - An IDE for Interactive Proof Development in Coq
Faithfull, A., Bengtson, J. & Tassi, E., 11 Apr 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 316-331 15 p. (Lecture Notes in Computer Science, Vol. 9636).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Extensible and Efficient Automation Through Reflective Tactics
Malecha, G. & Bengtson, J., 22 Mar 2016, Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Springer, p. 532-559 28 p. (Lecture Notes in Computer Science, Vol. 9632).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
Psi-calculi in Isabelle
Bengtson, J., Parrow, J. & Weber, T., 13 Jan 2016, In: Journal of Automated Reasoning. 56, 1, p. 1-47 1 p., 1.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2013
Kopitiam – a unified IDE for developing formally verified Java programs
Bengtson, J. & Mehnert, H., May 2013, TR-2013-167 ed. Copenhagen: IT-Universitetet i København. 15 p. (IT University Technical Report Series; No. TR-2013-167).Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
File -
2012
Charge! - A Framework for Higher-Order Separation Logic in Coq
Bengtson, J., Jensen, J. B. & Birkedal, L., 2012, Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer, p. 315-331 (Lecture Notes in Computer Science, Vol. 7406).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
2011
Verifying object-oriented programs with higher-order separation logic in Coq
Bengtson, J., Jensen, J. B., Sieczkowski, F. & Birkedal, L., 2011, In: Lecture Notes in Computer Science. 6898, p. 22-38Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
File