Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,059,970 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
2001
2001
POLYNOMIAL APPROXIMATION ON THREE-DIMENSIONAL REAL-ANALYTIC SUBMANIFOLDS OF C n
Alexander J. Izzo
,
J. Wermer
2001
Corpus ID: 54041201
. It was once conjectured that if A is a uniform algebra on its maximal ideal space X and if each point of X is a peak point for…
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
1986
1986
Species composition of Daphnia in Lake Glubokoe with notes on the taxonomy and geographical distribution of some species
S. M. Glagolev
Hydrobiologia
1986
Corpus ID: 19209544
In Lake Glubokoe (Moscow region) five species of Daphnia have been found: D. cristata, D. cucullata, D. curvirostris, D. galeata…
Expand
1985
1985
Concurrent Prolog as an Efficient VLSI Design Language
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