Run-time checking

Run-time checking

Runtime checking is a mechanism of a programming language to check for errors at runtime, e.g. arithmetic overflows or invalid type casts. Most times an exception is thrown and/or the program is terminated, instead of ignoring this failure as it is done in C, C++ etc.

Runtime checking is often criticized for slowing down the resulting program. However this ignores the fact that most compilers for languages with runtime checking allow one to switch the checks off when performance is more important.

While on the other hand, adding runtime checkingto a language that does not support it normally is close to impossible, since those languages don't have the needed language constructs.

Runtime checks can be very beneficial. In the case of Ariane 5 Flight 501, the lack of runtime checks caused a critical computer error, costing the ESA €885,000,000.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Run-time algorithm specialisation — In computer science, run time algorithm specialisation is a methodology for creating efficient algorithms for costly computation tasks of certain kinds. The methodology originates in the field of automated theorem proving and, more specifically,… …   Wikipedia

  • Bounds checking — In computer programming, bounds checking is any method of detecting whether a variable is within some bounds before its use. It is particularly relevant to a variable used as an index into an array to ensure its value lies within the bounds of… …   Wikipedia

  • Checking In — Genre Comedy Starring Marla Gibbs Patrick Collins Larry Linville Liz Torres Country of origin …   Wikipedia

  • run — [c]/rʌn / (say run) verb (ran, run, running) –verb (i) 1. to move quickly on foot, so as to go more rapidly than in walking (in bipedal locomotion, so that for an instant in each step neither foot is on the ground). 2. to do this for exercise, as …  

  • Data Access in Real Time — (DART) is a Real time operating system used by EMC Celerra. It is a modified UNIX Kernel with additional functionality. DART is an embedded, real time, operating system comprising a modified UNIX kernel and dedicated file server software that… …   Wikipedia

  • Design rule checking — or Check(s) (DRC) is the area of Electronic Design Automation that determines whether the physical layout of a particular chip layout satisfies a series of recommended parameters called Design Rules. Design rule checking is a major step during… …   Wikipedia

  • Daylight saving time — This article is about daylight saving time in general. For DST in a specific location, see Daylight saving time by country. Summer time and DST redirect here. For other uses, see Summer time (disambiguation) and DST (disambiguation) …   Wikipedia

  • Coogan's Run — Genre Comedy Written by Steve Coogan Patrick Marber David Tyler Graham Linehan Arthur Mathews Geoffrey Perkins Henry Normal Starring …   Wikipedia

  • Real time database — A real time database is a processing system designed to handle workloads whose state is constantly changing (Buchmann). This differs from traditional databases containing persistent data, mostly unaffected by time. For example, a stock market… …   Wikipedia

  • Ada (programming language) — For other uses of Ada or ADA, see Ada (disambiguation). Ada Paradigm(s) Multi paradigm Appeared in 1980 Designed by MIL STD 1815/Ada 83: Jean Ichbiah Ada 95: Tucker Taft Ada 2005: Tucker Taft Stable release …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”