Christoph Hochrainer

Projektass. Dipl.-Ing. / BSc

Role

PreDoc Researcher
Software Engineering, E194-01

Contact

Publications

The Vienna Architecture Description Language / Himmelbauer, S., Hochrainer, C., Huber, B. L., Mischkulnig, N., Paulweber, P., Schwarzinger, T., & Krall, A. (2024). The Vienna Architecture Description Language. arXiv. https://doi.org/10.34726/5619
Download: PDF (1.01 MB)
A pred-LL(*) parsable typed higher-order macro system for architecture description languages / Hochrainer, C., & Krall, A. (2023). A pred-LL(*) parsable typed higher-order macro system for architecture description languages. In C. De Roover, B. Rumpe, & A. Shaikhha (Eds.), Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 29–41). https://doi.org/10.1145/3624007.3624052
Download: PDF (228 KB)
Automated reasoning over Arrays in the superposition calculus / Hochrainer, C. (2020). Automated reasoning over Arrays in the superposition calculus [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.77511
Download: PDF (705 KB)