Un punto de secuencia define cualquier punto en la ejecución de un programa informático en el que se garantiza que se habrán realizado todos los efectos secundarios de evaluaciones anteriores y que aún no se han realizado efectos secundarios de evaluaciones posteriores.