Personensuche
X
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
7
Logical Foundations of Quantitative Equality:
, In:
?
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ,
11
An inductive abstract semantics for coFJ:
, In:
?
Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming ,
14
A framework for big-step semantics:
, In:
?
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops ,
15