Idioms - PDFSEARCH.IO - Document Search Engine

Idioms
Results: 352

#	Item
321	Algorithms and Data Structures © N. Wirth[removed]Oberon version: August 2004). Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2012-02-22 05:24:51 Theoretical computer science Mathematical logic Procedural programming languages Programming idioms Turing Award laureates Pascal Algorithm Pointer Edsger W. Dijkstra Computing Software engineering Computer programming
322	Packrat Parsers Can Support Left Recursion Alessandro Warth, James R. Douglass, Todd Millstein Add to Reading List Source URL: www.vpri.org Language: English - Date: 2008-12-10 01:30:33 Computer programming Parsing Compiler construction Recursion Programming idioms Parsing expression grammar Left recursion Top-down parsing LR parser Formal languages Software engineering Computing
323	Reasoning about Codata Ralf Hinze Computing Laboratory, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:34:28 Recursion Programming idioms Functional languages Theoretical computer science Self-reference Haskell Pure Constructible universe Corecursion Computer programming Software engineering Computing
324	A Behavior Language: Joint Action and Behavioral Idioms Michael Mateas1 and Andrew Stern2 Add to Reading List Source URL: www.interactivestory.net Language: English - Date: 2005-05-27 01:41:50 Behavior Trees Enterprise modelling Systems engineering Habit Culture Ethology Behavior Behaviorism Human behavior
325	Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-19 21:35:38 Formal methods Programming idioms Computability theory Mathematical logic Formal verification ACL2 Recursion Correctness Isabelle Theoretical computer science Applied mathematics Computer programming
326	PDF Document Add to Reading List Source URL: testweb.science.uu.nl Language: English - Date: 2013-10-07 06:29:56 Programming idioms Bosons Quantum chromodynamics Recursion Gluon Higgs boson Spin Yang–Mills theory Large Hadron Collider Physics Particle physics Quantum field theory
327	PDF Document Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:55:50 Linguistics Philosophy of language Theory of computation Mathematical logic Recursion Self-reference Pirahã people Daniel Everett Universal grammar Programming idioms Science Language
328	nuss_buildrce_checkoutsp_build_cortex_r51.20460_cortexr5_trmphics_to_timing_diagram_conventions.svg Add to Reading List Source URL: infocenter.arm.com Language: English Instruction set architectures Debugging Programming idioms ARM architecture X86 debug register Advanced Microcontroller Bus Architecture Joint Test Action Group Computing Computer architecture Electronics
329	nuss_buildrce_checkoutsp_build_cortex_m40.00439_cortex_m4_trmphicstex_m4_block_diagram.svg Add to Reading List Source URL: infocenter.arm.com Language: English Programming idioms Central processing unit ARM architecture Instruction set architectures ARM Cortex-M Joint Test Action Group Control register CPUID X86 debug register Computer architecture Computing Electronics
330	nuss_buildp_build_cortex_m10.1.00413_cortexm1_trmphics_to_timing_diagram_conventions.svg Add to Reading List Source URL: infocenter.arm.com Language: English Central processing unit Instruction set architectures Programming idioms IEEE standards Embedded systems Joint Test Action Group ARM architecture Control register X86 debug register Computer architecture Computing Computer programming