Exempel på executable

• The source code for a program, which may be in any language, as opposed to the linkable or executable binary produced from it by a compiler. 

• This is as opposed to object code, the derived binary executable form of a program. 

• An initial executable specification for the system can often be expressed easily and succinctly using a non-deterministic transition system.

• Our translation has the property that executable functions have no parents and non-executable functions have exactly one parent.

• Note that the subroutines that the rules document are already compiled to machine executable form.

• Since an executable specification was an explicit goal of our work, we have made some modeling choices whose motivations may not be obvious at first.

• From the operational semantics, a formal description of the monitor, and a program, they derive an instrumented executable file that performs the specified monitoring activity.

• So far, all these learning systems in planning are executable codes lacking any type of user interaction.

• In this section, we describe how this executable model has been used to check the soundness of polymorphic inference rules by calculation.

• Their significant advantage is that parsers described in this style are directly executable.

• Making an executable finger movement from scratch, however, requires a large amount of effort.

• It uses small but executable examples to discuss these from the programmer's point of view.

• The latter is an essential prerequisite for the generation of efficiently executable code.

• The more specific genetic programming technique, in which executable programs are generated and evolved, provides new opportunities.

• But there are at least two advantages of specifications that are not executable functional programs.

• In contrast to these approaches, some work aims at constructing directly executable formal models.

• The refinement is completed when the program contains only executable constructs.