It is described on their whitepaper as providing shorter
compile times enabled by high-performance Linux-based servers in the cloud, improved productivity by performing multiple compiles at a time, in parallel, and the convenience of being able to power-down your PC at any time during a compile.
Functions can be marked with @safe so that they are checked by the compiler during
compile time to make sure that they aren't using any features which might lead to corruption of memory.
In each case, the value of indices[i] was i, but that fact could not be determined at
compile time.
A few examples of specific topics include unified modeling and analysis base on Petri nets and pi calculus, model checking software at
compile time, automating language evolution, specification-based test generation and optimization using model checking, and consistency and minimality of UML class specifications with multiplicities and uniqueness constraints.
Scientific computing tends to have memory access patterns that are static and known at
compile time. In solving equations or computing forces or iterating to converge a result, the memory access pattern usually does not depend on the actual values very much.
The [*.sub.t] can be transformed into toggling the sign, and [*.sub.c] can be executed at
compile time in constant propagation fashion.
The Palladium system enhanced our testing productivity by providing fast
compile time, efficient debug, high run-time performance, and excellent target interface solutions.
To keep dynamic compilation costs low, all of DyC's dynamic optimizations are staged, with the bulk of the work of the optimization occurring at static
compile time and with no run-time program representation or iterative analyses required.
Based on a new, custom field-programmable gate array (FPGA) optimized for emulation, the MercuryPlus solution achieves industry-leading
compile time performance, capacity, debug productivity, and circuit modeling accuracy.
These uncertainties are not predictable at
compile time, and therefore require careful consideration when scheduling prefetch instructions in a program.
This binding can occur at
compile time or at run-time.
In my experience teaching Ada to Cobol programmers, students invariably conclude that the type differentiation and range constraints associated with a declaration like salary save debugging effort, since type mismatches, such as attempting to assign a price/earnings ratio to a salary, are detected at
compile time, and attempts to assign out-of-range values are detected at run time.