doc: translate hard memory models;program language memory model;