BayHac2013/BayHac2013/Denotative Programming