Originality: good application of Domain Theory to show useful how Separation Logic can be extended to languages with code pointers Rigour: full domain theoretic model with mathematical proofs Significance: potentially huge as benefits of Spearation Logic made available for more types of languages Outlet/Citations: CSL is an international conferenence organized by the European Association for CompSci Logic and hhad an acceptance rate 0f 34% this year. New paper no citations in google.. COMMENT: Journal Version in preparation.