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

correctnesspartial computationmixed computationsprogramming language Incol. domain constructions

Mathematics Subject Classification ID

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

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)