Travelled to:
1 × Spain
Collaborated with:
R.Phillips
Talks about:
interpret (1) unambigu (1) structur (1) analysi (1) semant (1) formal (1) execut (1) model (1) allow (1)
Person: Craig Gaskell
DBLP: Gaskell:Craig
Contributed to:
Wrote 1 papers:
- ESEC-1995-GaskellP #ambiguity #analysis #execution #semantics
- A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.