Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Ulrich Schöpp"'
Autor:
Ulrich Schöpp
Publikováno v:
Logical Methods in Computer Science, Vol Volume 10, Issue 4 (2014)
In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new compilation methods, e.g. for hardware synthesis or for programming w
Externí odkaz:
https://doaj.org/article/6a884beebab649698bfc5a0fe3534893
Publikováno v:
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies.
Autor:
Yuri Gil Dantas, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
Publikováno v:
SN Computer Science. 4
Publikováno v:
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C).
Publikováno v:
Proceedings of the 9th International Conference on Information Systems Security and Privacy.
Autor:
Yuri Dantas, Ulrich Schöpp
Publikováno v:
Proceedings of the 9th International Conference on Information Systems Security and Privacy.
Publikováno v:
Mathematical Structures in Computer Science. 32:682-684
We describe the categorical semantics for a simply typed variant and a simplified dependently typed variant of Cocon , a contextual modal type theory where the box modality mediates between the weak function space that is used to represent higher-ord
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6174a5aa65d3b1f67b668518b0891f51
http://arxiv.org/abs/2206.02831
http://arxiv.org/abs/2206.02831
Publikováno v:
Mathematical Structures in Computer Science. 31:950-952
Autor:
Ulrich Schöpp, Chuangjie Xu
Publikováno v:
Programming Languages and Systems ISBN: 9783031210365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6696d824ac7842e5c2a8b671e46edf8c
https://doi.org/10.1007/978-3-031-21037-2_3
https://doi.org/10.1007/978-3-031-21037-2_3