Mapping programs to equations