Correctness of mixed computations in Incol

zbMATH Open0645.68015MaRDI QIDQ1103380FDOQ1103380

Authors: T. I. Yuganova 

Publication date: 1987

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

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

zbMATH Keywords

correctnesspartial computationmixed computationsprogramming language Incol. domain constructions

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)