Travelled to:
1 × USA
Collaborated with:
A.Ireland G.Grov
Talks about:
function (1) program (1) pointer (1) correct (1) system (1) core (1) anim (1)
Person: Ewen Maclean
DBLP: Maclean:Ewen
Contributed to:
Wrote 1 papers:
- ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code
- The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.