1. Implementing Regular Tree Expressions;Aiken Alexander;FPLCA,1991
2. Ahmad Salim Al-Sibahi. 2017. The Formal Semantics of Rascal Light. CoRR abs/1703.02312 (2017). http://arxiv.org/abs/1703.02312. Ahmad Salim Al-Sibahi. 2017. The Formal Semantics of Rascal Light. CoRR abs/1703.02312 (2017). http://arxiv.org/abs/1703.02312.
3. Symbolic execution of high-level transformations
4. Ahmad Salim Al-Sibahi Thomas P. Jensen Aleksandar S. Dimovski and Andrzej Wasowski. 2018. Verification of High-Level Transformations with Inductive Refinement Types. ArXiv e-prints (Sept. 2018). arXiv:cs.PL/1809.06336 https://arxiv.org/abs/1809.06336. Ahmad Salim Al-Sibahi Thomas P. Jensen Aleksandar S. Dimovski and Andrzej Wasowski. 2018. Verification of High-Level Transformations with Inductive Refinement Types. ArXiv e-prints (Sept. 2018). arXiv:cs.PL/1809.06336 https://arxiv.org/abs/1809.06336.
5. Spatial Interpolants;Albarghouthi Aws;ESOP,2015