static

Examples of statically

statically
In particular, we show how both stack inspection and history-based security paradigms can be statically enforced in our system.
This is comparable with the medium of film/video, in which the image formerly represented statically can, by its movement, be experienced as time-based art.
We can iterate or perform case analysis on closed terms because all constructors are statically known.
The uninformative cue comprised a photograph of a forward-facing head with the eyes statically gazing left or right.
These are assigned statically when the program is loaded, according to the colouring information supplied by the compiler.
The value dat is a function which according to the binding-time analysis is not statically known.
Intuitively, tokens may only be 'synthesized' in ways that can be understood statically.
We have already noted that other heap attributes, apart from statically determined properties of individual cells, may be of interest to functional programmers.
This paper has described a paradigmatic, functional statically-typed object-oriented language and its semantics.
The statically-typed language presented here supports the full variety of subclasses commonly found in object-oriented programs.
Furthermore, a large foot will force the biped to walk in a low-speed, statically-stable mode.
Conceptually, this type of gait is both statically and dynamically stable.
There, fixed-point definitions are used to characterise preferred answer sets (of statically ordered programs).
The use of statically stable gaits enables their control to be simplified.
By loading the pointer to i-1 into a register, we can access the local variables for the statically enclosing scope.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.