OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: reduction



Results in the term's title:

·  applicative order reduction
·  beta reduction
·  Codd' s reduction algorithm
·  delta reduction
·  eta reduction
·  graph reduction
·  normal order reduction
·  parallel reduction
·  reduction
·  reduction strategy
·  S-K reduction machine
·  strength reduction
·  string reduction


Results in the term's text:

·  abstract machine
·  alpha conversion
·  applicative order reduction
·  attenuation
·  beta abstraction
·  beta conversion
·  beta reduction
·  black hole
·  call-by-name
·  call-by-need
·  call-by-value
·  Church-Rosser Theorem
·  closure
·  combination
·  Compiler Target Language
·  Computational Adequacy Theorem
·  contraction
·  DACTL
·  David Turner
·  delta conversion
·  delta reduction
·  demand driven
·  diverge
·  EDL
·  eta conversion
·  evaluation
·  evaluation strategy
·  extensional equality
·  finite differencing
·  full laziness
·  functional programming
·  G-Code
·  Goffin
·  GRAAL
·  graph reduction
·  graph rewriting system
·  GRIP
·  Head Normal Form
·  head normalisation theorem
·  injection
·  inline
·  Interactive Data Language
·  Interest Group in Pure and Applied Logics
·  Joint Bi-level Image Experts Group
·  lambda-calculus
·  lambda lifting
·  lazy evaluation
·  lenient evaluation
·  LNF
·  Miranda
·  name capture
·  normal form
·  normal order reduction
·  ParAlfl
·  parallel reduction
·  projection
·  quine
·  redex
·  reduction
·  reduction strategy
·  relational algebra
·  relational calculus
·  RPL-1
·  Scheme
·  specialisation
·  string reduction
·  T
·  Tcode
·  term rewriting system
·  Weak Head Normal Form
·  XPL


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0507 Seconds, with 15 Database-Queries
Zurück zur Startseite