Results 31 to 40 of about 2,493,519 (340)
Generating correctness proofs with neural networks [PDF]
MAPL@PLDI, 2019 Foundational verification allows programmers to build software which has been empirically shown to have high levels of assurance in a variety of important domains. However, the cost of producing foundationally verified software remains prohibitively high
Alex Sanchez-Stern +3 more
semanticscholar +1 more source
Towards correctness of program transformations through unification and critical pair computation [PDF]
, 2010 Correctness of program transformations in extended lambda-calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach is the combination of a context lemma with the
Schmidt-Schauß, Manfred +3 more
core +1 more source
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We give a language-parametric solution to the problem of total correctness, by automatically reducing it to the problem of partial correctness, under the assumption that an expression whose value decreases with each program step in a well-founded order ...
Andrei-Sebastian Buruiană +1 more
doaj +1 more source
IEEE Access, 2019 In Punjab Pakistan, a river flood event is the most important natural disasters that every year causes high human casualties as well as heavy economic losses. A safety-critical system should be correct, reliable, complete, consistent, and unambiguous for
Nadeem Akhtar +8 more
doaj +1 more source
Annual Meeting of the Association for Computational Linguistics, 2019 While recent progress on abstractive summarization has led to remarkably fluent summaries, factual errors in generated summaries still severely limit their use in practice.
Tobias Falke +4 more
semanticscholar +1 more source
A contextual semantics for concurrent Haskell with futures [PDF]
, 2011 In this paper we analyze the semantics of a higher-order functional language with concurrent threads, monadic IO and synchronizing variables as in Concurrent Haskell. To assure declarativeness of concurrent programming we extend the language by implicit,
Sabel, David +3 more
core +1 more source
The rule of multiple correct opinions in ijtihad [PDF]
مجلة جامعة الأنبار للعلوم الإسلاميةPraise be to Allah, Lord of the Worlds, and the best prayers and most complete peace be upon our Master Muhammad, his family and all his companions. And after: There is no doubt that many of the texts mentioned in the two revelations are conjectural in ...
Prof. Dr. mahmoud ibraheem Abdulrazaq -
doaj +1 more source
Program Derivation by Correctness Enhacements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P ...
Nafi Diallo +3 more
doaj +1 more source
On Reliability of Patch Correctness Assessment [PDF]
International Conference on Software Engineering, 2018 Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, or test suites, to generate repairs. This, however, may cause ASR tools to generate repairs that are incorrect and hard to generalize.
X. Le +4 more
semanticscholar +1 more source
Arguing as Trying to Show That a Target-claim is Correct
Theoria, 2011 In Giving Reasons, Bermejo-Luque rightly claims that a normative model of the speech act of argumentation is more defensible if it rests on an internal aim that is constitutive of the act of arguing than if it rests, as she claims existing normative ...
David Hitchcock
doaj +1 more source