2026-07-22T22:18:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8466 2024-03-06T10:30:11Z ddc:004 open_access

On Improving Run-time Checking in Dynamic Languages Stulova, Nataliia Runtime Verification Assertions Prolog Logic Programming In order to detect incorrect program behaviors, a number of approaches have been proposed, which include a combination of language-level constructs (procedure-level annotations such as assertions/contracts, gradual types, etc.) and associated tools (such as static code analyzers and run-time verification frameworks). However, it is often the case that these constructs and tools are not used to their full extent in practice due to a number of limitations such as excessive run-time overhead and/or limited expressiveness. The issue is especially prominent in the context of dynamic languages without an underlying strong type system, such as Prolog. In our work we propose several practical solutions for minimizing the run-time overhead associated with assertion-based verification while keeping the correctness guarantees provided by run-time checks. We present the solutions in the context of the Ciao system, where a combination of an abstract interpretation-based static analyzer and run-time verification framework is available, although our proposals can be straightforwardly adapted to any other similar system. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nataliia Stulova 2018 Is Part Of OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2017.15 urn:nbn:de:0030-drops-84665 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.15 eng https://creativecommons.org/licenses/by/3.0/legalcode