Logic error - PDFSEARCH.IO - Document Search Engine

Logic error
Results: 79

#	Item
1	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
2	Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element
3	Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA Summary Add to Reading List Source URL: norvig.com Language: English - Date: 2003-10-26 19:35:31 Software engineering Automated theorem proving Mathematics Computer programming Logic programming Unification Type theory Logic in computer science SUBST Substitution Occurs check Resolution
4	highresRT_Logic-Kratos_Logo Add to Reading List Source URL: www.rtlogic.com Language: English - Date: 2016-08-09 00:43:34 Data transmission Computing Technology Error detection and correction Digital audio Multiplexing Coding theory Low-density parity-check code Quadrature amplitude modulation Modulation Forward error correction Pulse-code modulation
5	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
6	Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong A Concurrent Error Detection Based FaultTolerant 32 nm XOR-XNOR Circuit Implem Add to Reading List Source URL: www.bpti.lt Language: English - Date: 2013-12-16 08:28:43 Logic gates Digital electronics Electronic design XOR gate XNOR gate Stuck-at fault Fault model Transistor fault OR gate Fault tolerance Pass transistor logic Exclusive or
7	highresRT_Logic-Kratos_Logo Add to Reading List Source URL: www.rtlogic.com Language: English - Date: 2016-08-09 00:50:08 CCSDS Computer buses Network packet Low-voltage differential signaling Error detection and correction Consultative Committee for Space Data Systems Internet protocol suite Low-density parity-check code Multiplexing Firmware
8	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
9	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
10	Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 12:01:27 Theoretical computer science Algorithm Mathematical logic Mathematics ReedSolomon error correction Discrete mathematics Formal methods

UPDATE