ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
ECOOP 2015 (series) / Avraham Shinnar

Registered user since Fri 9 Jul 2021

Name:Avraham Shinnar
Affiliation:IBM Research

Contributions

ECOOP 2015 A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Show activities from other conferences

ECOOP 2015-profile
View general profile