TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

OUTPUT ASSERTION [1 record]

Record 1 2012-10-03

English

Subject field(s)
  • Computer Programs and Programming
DEF

An assertion that describes the commitments a procedure makes if and when it terminates.

DEF

A logical expression specifying one or more conditions that program outputs must satisfy in order for the program to be correct.

OBS

output assertion: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).

French

Domaine(s)
  • Programmes et programmation (Informatique)
DEF

Expression logique spécifiant une ou plusieurs conditions auxquelles les sorties de programme doivent satisfaire pour que le programme soit correct.

Spanish

Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2023
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: