SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric Programming

  • 11 Conference paper
  • 10 PhD Thesis
  • 8 Article
  • 6 Meeting abstract (Book)
Filter
Meeting abstract (Book)

Search results

  • 2023

    A Graph-Based Formal Semantics of Reactive Programming

    Oeyen, B., De Koster, J. & De Meuter, W., 16 Oct 2023, Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Rebelo, H. (ed.). ACM, p. 18-25 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

    Open Access
    File
    37 Downloads (Pure)
  • 2022

    FLOREnce: A Hybrid Logic-Functional Reactive Programming Language

    Van Verre, L., Rodriguez Avila, H., Nicolay, J. & De Meuter, W., 29 Nov 2022, REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. De Meuter, W., Eugster, P., Eugster, P., Salvaneschi, G., Sant'Anna, F., Ziarek, L. & Weisenburger, P. (eds.). ACM, p. 24-36 13 p. (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

    Open Access
    File
    1 Citation (Scopus)
    96 Downloads (Pure)

  • Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine

    Oeyen, B., De Koster, J. & De Meuter, W., 29 Nov 2022, Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. De Meuter, W., Eugster, P., Salvaneschi, G., Sant'Anna, F., Ziarek, L. & Weisenburger, P. (eds.). Auckland, New Zealand: ACM, p. 50-62 13 p. (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

    Open Access
    File
    1 Citation (Scopus)
    86 Downloads (Pure)
  • 2021

    Poker: Visual Instrumentation of Reactive Programs With Programmable Probes

    Descheemaeker, C., Van den Vonder, S., Renaux, T. & De Meuter, W., 17 Oct 2021, REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2021. Mandel, L. (ed.). Chicago, IL, USA: ACM, p. 14-26 13 p. (REBLS 2021 - Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

    Open Access
    File
    1 Citation (Scopus)
    88 Downloads (Pure)

  • Trampoline Variables: A General Method for State Accumulation in Reactive Programming

    Oeyen, B., Van den Vonder, S. & De Meuter, W., 18 Oct 2021, REBLS 2021 - Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. Mandel, L. (ed.). Chicago, IL, USA: ACM, p. 27-40 14 p. (REBLS 2021 - Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

    Open Access
    File
    3 Citations (Scopus)
    100 Downloads (Pure)
  • 2020

    Reactive Sorting Networks

    Oeyen, B., Van den Vonder, S. & De Meuter, W., 26 Nov 2020, REBLS 2020 - Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. Perez, I. (ed.). ACM, p. 38-50 13 p. (REBLS 2020 - Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with SPLASH 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

    Open Access
    File
    5 Citations (Scopus)
    71 Downloads (Pure)