1. A method for checking parameter access including: accepting a specification of an ordering constraint for a plurality of tasks, in which at least some of the tasks are not ordered relative to one another; for each of one or more parameters, identifying the tasks that access those parameters; and checking for potential conflict in the access to the parameters by the identified tasks according to the specification of the ordering constraint.