Imad-Seddik Arrada

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Operational Semantics

Pattern Matching

Object Oriented Languages

Top Venues

Publications

Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. WRLA@ETAPS (2018)