Alexander Vandenbroucke

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 13

Top Topics

Declarative Semantics

Logic Programming

Answering Queries

Top Venues

Theory Pract. Log. Program.

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. Theory Pract. Log. Program. 24 (1) (2024)
Alexander Vandenbroucke, Tom Schrijvers
Declarative Pearl: Rigged Contracts. FLOPS (2024)
Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
Forward- or reverse-mode automatic differentiation: What's the difference? Sci. Comput. Program. 231 (2024)
Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference? CoRR (2022)
Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. LOPSTR (2021)
Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. CoRR (2021)
Alexander Vandenbroucke, Tom Schrijvers
PλωNK: functional probabilistic NetKAT. Proc. ACM Program. Lang. 4 (POPL) (2020)
Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. CoRR (2020)
Alexander Vandenbroucke, Tom Schrijvers
From PRISM to ProbLog and Back Again. PLP@ILP (2017)
Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
Tabling as a Library with Delimited Control. IJCAI (2016)
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
Tabling with Sound Answer Subsumption. CoRR (2016)
Alexander Vandenbroucke
The Functional Perspective on Advanced Logic Programming. ICLP (Technical Communications) (2016)
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
Tabling with Sound Answer Subsumption. Theory Pract. Log. Program. 16 (5-6) (2016)
Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens
Fixing non-determinism. IFL (2015)