Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,935,573 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
1999
1999
COFTA : Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded Systems for Low Overhead Fault Tolerance
Bharat P. Dave
,
N. Jha
1999
Corpus ID: 18567810
Embedded systems employed in critical applications demand high reliability and availability in addition to high performance…
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
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
1976
1976
Strum: Structured Microprogram Development System for Correct Firmware
D. Patterson
IEEE transactions on computers
1976
Corpus ID: 13308401
An approach to the development of correct microprograms is to use the methodologies that have been beneficial in the generation…
Expand
1960
1960
The Concept of Kinship: With Special Reference to Mr. Needham's "Descent Systems and Ideal Language"
E. Gellner
Philosophia Scientiæ
1960
Corpus ID: 123034864
The purpose of this paper is not merely to reply to Needham's arguments' and to correct his errors, but also, in the course of…
Expand