Relativistic programming