Collaborated with:
∅
Talks about:
represent (1) variabl (1) pattern (1) definit (1) semant (1) rewrit (1) memori (1) featur (1) logic (1) usag (1)
Person: Mark Hills 0001
DBLP: 0001:Mark_Hills
Contributed to:
Wrote 2 papers:
- WRLA-2008-Hills09 #logic #memory management #semantics
- Memory Representations in Rewriting Logic Semantics Definitions (MH0), pp. 155–172.
- ASE-2015-Hills #php
- Variable Feature Usage Patterns in PHP (T) (MH0), pp. 563–573.