Abdul Zreika

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

English Language

Operational Semantics

Top Venues

Publications

Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
The Choice Construct in the Soufflé Language. APLAS (2021)
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
The Choice Construct in the Souffle Language. CoRR (2021)