Parallel programming languages which look deterministic?
I'm not sure about the "without any additional tags or meta-data" part, but I know that recent versions of Matlab make it pretty easy to parallelize your code by simply adding the "par" keyword to your for loops (see the Matlab help for more info).

This is as close to having no "noticeable differences for the programmer" that I'm aware of.