1. A computer-implemented method, comprising: utilizing a computing system to perform: receiving a program, wherein the program specifies a plurality of operations using a variable within a logical tick such that the variable has multiple values within the logical tick, wherein said having multiple values comprises transitioning from an initial value to a second value within the logical tick, wherein all computations within the logical tick are interpreted as being instantaneous, and wherein logical ticks specify the resolution of functional synchronization for execution of the program; statically analyzing the program according to a specified model of computation that specifies synchronous program execution based on logical ticks, wherein said statically analyzing the program includes: determining that the program has deterministic semantics, wherein the deterministic semantics specify deterministic results for each logical tick during execution of the program, including specifying deterministic results of the plurality of operations performed within the logical tick, wherein the deterministic results comprise a final result of the variable within the logical tick and observable side effects of the multiple values of the variable during the logical tick; and validating the program in accordance with the specified model of computation in response to said determining; and using a compiler or interpreter, transforming the program to produce deterministically executable output code and executing the deterministically executable output code.