Publications

2 results at ECOOP 2015

A pattern calculus for rule languages: Expressiveness, compilation, and mechanization
- - Avraham Shinnar
  - Jérôme Siméon
  - et al.
- 2015
- ECOOP 2015
Access-rights analysis in the presence of subjects
- - Paolina Centonze
  - Marco Pistoia
  - et al.
- 2015
- ECOOP 2015