The act of filling an order to buy or sell a security. That is, when a broker executes an order, he/she actually makes a trade on behalf of the client. The date of execution is known as the trade date.
To complete, as by signing a contract or signing and delivering a deed.
The compiler will also return tight and certified cost annotations for the source program, providing a reliable infrastructure to draw temporal assertions on the executable code while reasoning on the source.