For example, some language features that can be performed only ( or are more efficient or accurate ) at runtime are implemented in the runtime environment and may be invoked via the runtime library API, e . g . some logic errors, array bounds checking, dynamic type checking, exception handling, and possibly debugging functionality.
12.
Properties of a program that can be reasoned about at compile time include range-checks ( e . g ., proving that an array index will not exceed the array bounds ), deadlock freedom in concurrent languages, or timings ( e . g ., proving that a sequence of code takes no more than an allocated amount of time ).
13.
Since the limited size of the LGP-30 precluded a full implementation of ALGOL 60, certain of its features ( arrays called by value, own arrays, strings, variable array bounds, and recursion ) were omitted; but the implementors did include parameters called by name, using " thunks " ( Ingerman, 1961; Irons and Wally Feurzeig, 1961 ), and integer labels.
14.
:: : I'm not familiar with the Lahey Compiler, but most compiler have a variety of switches to turn on stricter standards compliance, array bounds checking, and produce additional listings of data disposition, array usage, machine code, etc . Failing that, there might be various debug options to allow you to step through the program ones line or instruction at a time and display the status of all kind s of things as you go . talk ) 19 : 03, 4 May 2010 ( UTC)
