scientific article; zbMATH DE number 176732

zbMATH Open0786.68062MaRDI QIDQ4036561FDOQ4036561

Authors: Sampath Kannan, Andrew Chi-Chih Yao 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• Designing programs that check their work
• Verification of Probabilistic Programs
• Does a Program Yield the Right Distribution?
• scientific article
• Spot-checkers

zbMATH Keywords

program checkingprobabilistic programcorrectness of program output

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Pipelined algorithms to detect cheating in long-term grid computations
• Efficient checkers for number-theoretic computations
• Does a Program Yield the Right Distribution?
• Program result checking: a new approach to making programs more reliable
• Title not available (Why is that?)

This page was built for publication:

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