Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,790,147 papers from all fields of science
Search
Sign In
Create Free Account
Assertion (software development)
Known as:
Assertion (computing)
, Assertion (programming)
, Assertion failure
Expand
In computer programming, an assertion is a statement that a predicate (Boolean-valued function, a true–false expression) is expected to always be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
45 relations
Assertion definition language
Asynchronous system
Automatic bug fixing
C++
Expand
Broader (3)
Debugging
Formal methods
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Tensor Products Of C*-algebras
M. A. Brodie
2015
Corpus ID: 115149502
Let A and B be unital, generating linear subspaces of C*algebras & and ®, respectively. If either & or $ is a GCR algebra, then…
Expand
Review
2005
Review
2005
Social and Cultural Supports for Plural Democracy in Eight Asian Nations: A Cross-National, Within-Nation Analysis
R. Albritton
2005
Corpus ID: 55614803
This paper examines relative impacts of cultural socialization and interactions with government on support for democracy…
Expand
1997
1997
Backbench debate within the Conservative Party and its influence on British foreign policy, 1948-57
Sandra D. Onslow
1997
Corpus ID: 154698729
Acknowledgements - Abbreviations - Introduction - Conservative Attitudes to European Integration - The Conservative Party and…
Expand
1995
1995
Two Aspects of Directional Types
Johan Boye
,
J. Maluszynski
International Conference on Logic Programming
1995
Corpus ID: 36467390
The idea of directional types is to describe the computational behaviour of Prolog programs by associating an input and an output…
Expand
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
R. Hayes
,
S. Sankar
1994
Corpus ID: 16317461
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL…
Expand
1990
1990
The Baltic churches and the national revival
Marite Sapiets
1990
Corpus ID: 154172691
The rapid growth of national revival movements in the Baltic republics over the last three years has not been just a political…
Expand
1988
1988
Shifting sectarian boundaries in early Christianity
L. M. White
1988
Corpus ID: 59379492
FROM SECT TO CHURCH Jesus of Nazareth did not pronounce the death of Judaism; nor did he proclaim the birth of a new and separate…
Expand
1985
1985
Concurrent Prolog as an Efficient VLSI Design Language
N. Suzuki
Computer
1985
Corpus ID: 18749982
As long as simulation is relied upon, the hardware will only be as good as the test data; therefore most widely used computers…
Expand
1964
1964
A simply connected 3-manifold is ³ if it is the sum of a solid torus and the complement of a torus knot
J. Hempel
1964
Corpus ID: 121860795
It has been shown [6] that any closed, connected, orientable 3manifold can be constructed by removing a finite number, k, of…
Expand
1940
1940
The Effects of Castration by Parasites and X-rays on the Secondary Sex Characters of Prawns (Leander Spp.)
H. G. Callan
1940
Corpus ID: 5391113
1. Contrary to the assertion of Giard that Leander males when parasitized by Bopyrus undergo sex reversal, Leander xiphias and L…
Expand