Research output per year
Research output per year
Search results
-
2024
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
Flippo, M., Sidorov, K., Marijnissen, I., Smits, J. & Demirović, E., 2024, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Shaw, P. (ed.). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 11. (Leibniz International Proceedings in Informatics; vol. 307).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile48 Downloads (Pure) -
2022
Optimising First-Class Pattern Matching
Smits, J., Hartman, T. & Cockx, J., 2022, SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. New York: ACM, p. 74-83 10 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile71 Downloads (Pure) -
2020
Gradually typing strategies
Smits, J. & Visser, E., 2020, SLE 2020: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering. New York, NY, United States: ACM, p. 1-15 15 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile7 Citations (Scopus)81 Downloads (Pure) -
2017
FlowSpec: Declarative Dataflow Analysis Specification
Smits, J. & Visser, E., Oct 2017, SLE 2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). New York: ACM, p. 221-231 11 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
7 Citations (Scopus)