Research output per year
Research output per year
Search results
-
2023
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
Proença, J. & Edixhoven, L., 28 Apr 2023, Cornell University - arXiv, 13 p. (CoRR).Research output: Working paper / Preprint › Preprint › Academic
Open Access -
Improving students’ code correctness and test completeness by informal specifications
Broeders, A., Hermans, R., Stuurman, S., Bijlsma, A. & Passier, H. J. M., 6 Sept 2023, 14 p.Research output: Working paper / Preprint › Preprint › Academic
Open Access -
2022
Fast Computations on Ordered Nominal Sets
Venhoek, D., Moerman, J. & Rot, J., 16 Aug 2022, Cornell University - arXiv, 38 p. (Computing Research Repository).Research output: Working paper / Preprint › Preprint › Academic
Open Access