Patricia Hill
Identifiers
- name variant Patricia Hill 0.60 · backfill
Papers (2)
- Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) cs.PL · 2007 · author #1
- A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) cs.PL · 2007 · author #2
Mentions
Frequent Coauthors
- Enea Zaffanella 1 shared papers
- Roberto Bagnara 1 shared papers
- Wim Vanhoof 1 shared papers