Correctness - PDFSEARCH.IO - Document Search Engine

Correctness
Results: 732

#	Item
111	Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation Arthur Charguéraud1 and François Pottier2 1 Add to Reading List Source URL: chargueraud.org Language: English - Date: 2015-08-20 03:53:28
112	real-world economics review, issue no. 47 Opinion If it ain’t broke, don’t fix itpost autism and political correctness Benjamin H. Mitra-Kahn Add to Reading List Source URL: www.paecon.net Language: English - Date: 2008-10-02 10:04:46
113	A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets Alessandro Coglio and Cordell Green Kestrel Institute, Palo Alto, California, USA {coglio,green}@kestrel.edu Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2008-11-26 03:29:52
114	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software Computing Compiler optimizations Compiler construction Programming language implementation Undefined behavior Optimizing compiler Compiler Inline expansion Constant folding Loop-invariant code motion Program optimization
115	Verified correctness and complexity analysis of the Uno-Yagiura algorithm Binh-Minh Bui-Xuan Pierre-Évariste Dagand Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2016-01-04 16:25:31
116	An Analysis of Patch Plausibility and Correctness of Generate-‐And-‐ Validate Patch Genera8on System Zichao Qi, Fan Long, Sara Achour, and Add to Reading List Source URL: issta2015.cs.uoregon.edu Language: English - Date: 2015-07-22 16:43:15
117	The Great Leap Forward: An Inevitable Need of History [This document is undated, but from internal evidence it appears to be from 2001.] “Correctness or otherwise of the ideological and political line decides everythin Add to Reading List Source URL: www.bannedthought.net Language: English
118	Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-03-04 10:30:18 Software engineering Computer programming Computing Compiler optimizations Cross-platform software Scripting languages Logic in computer science JavaScript Separation logic Inline expansion Correctness Loop unrolling
119	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
120	Streaming Data Flow: A Story About Performance, Programmability, and Correctness Albert Cohen with L´ eonard G´erard, Adrien Guatto, Nhat Minh Lˆe, Feng Li, Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-07-02 10:27:33

UPDATE