compile-time

All of these things are easy to do, cause no compile-time errors, and may well work fine at run time most of the time.

Snell-Pym » 2009 » January 2009

But in principle, a smart compiler could examine assertions and use them as input to a compile-time static analysis of the program.

Snell-Pym » Assertions 2009

All of these things are easy to do, cause no compile-time errors, and may well work fine at run time most of the time.

Snell-Pym » C++ 2009

I thought one of the examples (implementing a printf function as a compile-time meta-program) was somewhat inspired.

March 16th, 2004 2004

Running code at read-time lets users reprogram Lisp's syntax; running code at compile-time is the basis of macros; compiling at runtime is the basis of Lisp's use as an extension language in programs like Emacs; and reading at runtime enables programs to communicate using s-expressions, an idea recently reinvented as XML.

LISP Bill Kerr 2006

There is no real distinction between read-time, compile-time, and runtime.

Archive 2006-02-01 Bill Kerr 2006

There is no real distinction between read-time, compile-time, and runtime.

LISP Bill Kerr 2006

Running code at read-time lets users reprogram Lisp's syntax; running code at compile-time is the basis of macros; compiling at runtime is the basis of Lisp's use as an extension language in programs like Emacs; and reading at runtime enables programs to communicate using s-expressions, an idea recently reinvented as XML.

Archive 2006-02-01 Bill Kerr 2006

"It finds bugs via static analysis (compile-time analysis) of the code rather than run-time analysis," says Ball, who led the Slam project with Sriram Rajamani.

Microsoft's Secret Bug Squasher 2005

"It finds bugs via static analysis (compile-time analysis) of the code rather than run-time analysis," says Ball, who led the Slam project with Sriram Rajamani.

Microsoft's Secret Bug Squasher Simson Garfinkel 2005