Runtime error detection

Known as: Run-time checking

Runtime error detection is a software verification method that analyzes a software application as it is executes and reports defects that are…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique…

2017

One of the most attractive features of untyped languages for programmers is the flexibility in term creation and manipulation…

2011

Existing approaches to providing security for untrusted JavaScript include isolation of capabilities -- a.k.a. sandboxing…

2006

Bossa est un environnement dédié au développement d’ordonn anceurs. Dans cet article, nous étudions l’automatisation de la v…

2004

Component use is becoming more and more prevalent every day. Indeed advantages such as greater productivity represent interesting…

1998

Two-Stage Programming (2SP) is an experimental mixed-paradigm (functional/imperative) programming language with strong support…

1996

Typed Prolog and λProlog are logic programming languages with a strict typing discipline which is based on simple types with…

1996

Monitoring the evolution of data structures in parallel and distributed programs, is critical for debugging its semantics and…

1995

practical soft type system for scheme. In Proc. understood as formal tools for reasoning about the source programs. As such they…

1985