Problem identification using program checking

DOI10.1016/J.DAM.2003.11.005MaRDI QIDQ1765236zbMATH OpenOpenAlexFDO

Authors Christian S. Collberg, Todd A. Proebsting

Publication date 23 February 2005

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.dam.2003.11.005

zbMATH Keywords

AlgorithmProgram checkingSearch engineSoftware repositoryType discrimination

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 2086749
• Designing programs that check their work
• scientific article; zbMATH DE number 1390248
• Algorithmic Challenges in Web Search Engines
• Towards a constraint-based engineering framework for algorithm design and application

Cites work

• Batch checking with applications to linear functions
• Designing checkers for programs that run in parallel
• Designing programs that check their work
• Program result checking: a new approach to making programs more reliable
• Register Allocation in Structured Programs
• Software reliability via run-time result-checking
• Spot-checkers
• The On-Line Encyclopedia of Integer Sequences
• The use of character sets and character mappings in Icon

Cited in

(1)

• scientific article; zbMATH DE number 2086749 (Why is no real title available?)

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: Problem identification using program checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1765236)