Results 281 to 290 of about 238,902 (349)
Some of the next articles are maybe not open access.
HARM: A Hint-Based Assertion Miner
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022This article presents HARM, a tool to generate linear temporal logic (LTL) assertions starting from a set of user-defined hints and the simulation traces of the design under verification (DUV).
Samuele Germiniani, G. Pravadelli
semanticscholar +1 more source
, 2011 This chapter surveys various ways to divide sayings (of declaratives) into those that are assertions and those that are not. It concludes that the project might be misconstrued. There are many equally good ways of doing it.
Herman Cappelen +2 more
openaire +2 more sources
Systematic Approaches for Precise and Approximate Quantum State Runtime Assertion
International Symposium on High-Performance Computer Architecture, 2021With the rapid growth of quantum computing technology, programmers need new tools for debugging quantum programs. Recent works show that assertions are a promising way for debugging quantum programs.
Ji Liu, Huiyang Zhou
semanticscholar +1 more source
The norm of assertion: Empirical data
Cognition, 2018 Assertions are speech acts by means of which we express beliefs. As such they are at the heart of our linguistic and social practices. Recent research has focused extensively on the question whether the speech act of assertion is governed by norms, and ...
Markus Kneer
exaly +2 more sources
Theory and Practice of Object Systems, 1994
A method definition can be viewed as a logical assertion. Whenever we declare a method as the implementation of an operation, we assert that if the operation is invoked on objects of the appropriate types then the method body will satisfy the specification of the operation. This view of methods as assertions is simple but general.
John Lamping, Martín Abadi
openaire +1 more source
A method definition can be viewed as a logical assertion. Whenever we declare a method as the implementation of an operation, we assert that if the operation is invoked on objects of the appropriate types then the method body will satisfy the specification of the operation. This view of methods as assertions is simple but general.
John Lamping, Martín Abadi
openaire +1 more source
Assertion, expression, experience
Inquiry, 2020It has been frequently observed in the literature that assertions of plain sentences containing predicates like fun and frightening give rise to an acquaintance inference: they imply that the speaker has first-hand knowledge of the item under ...
M. Willer, Christopher Kennedy
semanticscholar +1 more source
The Social Institution of Discursive Norms, 2008
In every assertion we may distinguish a speaker and a listener. The latter, it is true, need have only a problematical existence, as when during a shipwreck an account of the accident is sealed in a bottle and thrown upon the water.
Ladislav Koreň
semanticscholar +1 more source
In every assertion we may distinguish a speaker and a listener. The latter, it is true, need have only a problematical existence, as when during a shipwreck an account of the accident is sealed in a bottle and thrown upon the water.
Ladislav Koreň
semanticscholar +1 more source
Assertion among the Speech Acts
The Oxford Handbook of Assertion, 2020This article discusses how assertion is an illocutionary act. Once assertion is taken to be an illocutionary act, the question arises of how it relates to other illocutionary acts. This is the main issue tackled in this article, and it is two-fold.
M. Sbisà
semanticscholar +1 more source
2022
Abstract A characteristic element of Frege’s ideography is the assertion sign. This chapter explores its role and its connections with Frege’s conception of assertion, truth, and judgement. It is noted that Frege’s views about the assertion sign changed over the years and that they deeply influenced the work of the early Wittgenstein as ...
openaire +1 more source
Abstract A characteristic element of Frege’s ideography is the assertion sign. This chapter explores its role and its connections with Frege’s conception of assertion, truth, and judgement. It is noted that Frege’s views about the assertion sign changed over the years and that they deeply influenced the work of the early Wittgenstein as ...
openaire +1 more source
The C account of assertion: a negative result
SynthÈse, 2018 According to what Williamson labels ‘the C account of assertion’, there is one and only one rule that is constitutive of assertion. This rule, the so-called ‘C Rule’, states that one must assert p only if p has property C.
Christoph Kelp +2 more
exaly +2 more sources