From latex specifications to parallel codes