Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,130,291 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.
Review
2005
Review
2005
Social and Cultural Supports for Plural Democracy in Eight Asian Nations: A Cross-National, Within-Nation Analysis
Robert B. 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
Review
2000
Review
2000
Keine Opioidabhängigkeit bei Schmerzpatienten?
M. Mindach
Der Schmerz
2000
Corpus ID: 20100451
ZusammenfassungFragestellung. In einigen aktuellen deutschsprachigen Büchern über Schmerzbehandlung wird die Auffassung vertreten…
Expand
1996
1996
The Evolutionary Cost of Learning
P. Maes
,
M. Matarić
,
Jean-Arcady Meyer
,
J. Pollack
,
S. Wilson
1996
Corpus ID: 63220268
Traits that are acquired by members of an evolving population during their lifetime, through adaptive processes such as learning…
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
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
1984
1984
Studies in the History of Ancient Linguistics Ii Stoic and Peripatetic Kinds of Speech Act and the Distinction of Grammatical Moods
D. M. Schenkeveld
1984
Corpus ID: 59476027
1. This study is the result of an investigation into the history of the ancient theory of grammatical moods. It is self-evident…
Expand
1940
1940
The Effects of Castration by Parasites and X-rays on the Secondary Sex Characters of Prawns (Leander Spp.)
H. 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