MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Effectiveness of Run-Time Checks." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

unknown title
by unknown authors
…-checkable - we cannot check effectively at run-time that theyindeed hold. On the other hand, specifications based…
Add To MetaCart

Fail-Stop Software Components by Pattern Matching
by Tomasz Janowski, Wojciech Mostowski — 1999 — Stanford University, USA
…), but we have no way to check effectively at run-time that they indeed hold. We could base executable…
Cited by 3 (0 self) – Add To MetaCart

Detecting Memory Errors via Static Pointer Analysis
by Nurit Dor, Dr. Mooly Sagiv — 1999 — In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
… checking tools detect violations at run-time (e.g., see [53, 55, 43]). They can be effective in localizing…
Cited by 8 (2 self) – Add To MetaCart

Exception Handling in Component-Based System Development
by Alexander Romanovsky — 2001
… specification of the correct component behaviour but to keep it reasonably small to allow for cost-effective run-time…
Cited by 10 (0 self) – Add To MetaCart

A Study Of Variants Of The Lambek Calculus And An Implementation In Prolog
by D. Stott Parker, Parker Csd, Shen-tzay Huang, D. Stott Parker — 1992
… to enforce a static type discipline, they are added to the body of original programs. So, in effect, run-time…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB