Correctness of mixed computations in Incol

MaRDI QIDQ1103380zbMATH OpenFDO

Authors T. I. Yuganova

Publication date 1987

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

correctnessmixed computationspartial computationprogramming language Incol. domain constructions

Mathematics Subject Classification ID

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

Review text

We examine the organization of mixed computations in the language Incol and restate the partial computation principle - the definiton of correctness - in terms of this language. A system of changes in the language is proposed in order to ensure local correctness of program fragments which do not use suspension recognizers.

Recommendations

• Mixed computation of Prolog programs
• scientific article; zbMATH DE number 3924127
• From partial evaluation to mixed computation
• Polyvariant mixed computation for analyzer programs
• scientific article; zbMATH DE number 3986622

Cited in

(1)

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

This page was built for publication: Correctness of mixed computations in Incol

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