OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

reduction strategy

ORy> An algORithm fOR deciding which redex(es) to reduce next. Different strategies have different termination properties in the presence of recursive functions OR values. See string reduction, nORmal ORder reduction, {applicative ORder reduction}, {parallel reduction} (1995-05-09)

In addition suitable contents:
[ = ] [ al ] [ algORithm ] [ am ] [ app ] [ applicative ORder reduction ] [ ar ] [ arc ] [ at ] [ av ] [ ca ] [ cat ] [ ch ] [ ci ] [ cu ] [ D ] [ de ] [ dec ] [ diff ] [ ding ] [ du ] [ ec ] [ ed ] [ edu ] [ ee ] [ eg ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ fOR ] [ function ] [ gi ] [ h ] [ hm ] [ hr ] [ id ] [ ie ] [ iff ] [ il ] [ in ] [ io ] [ it ] [ Lex ] [ li ] [ lu ] [ ma ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ne ] [ ng ] [ no ] [ nORm ] [ nORmal ORder reduction ] [ ns ] [ op ] [ pa ] [ parallel reduction ] [ pe ] [ ph ] [ pl ] [ pr ] [ query ] [ rc ] [ re ] [ recursive ] [ redex ] [ reduction ] [ ro ] [ S ] [ se ] [ si ] [ st ] [ string ] [ string reduction ] [ th ] [ theORy ] [ to ] [ tr ] [ va ] [ value ] [ ve ]

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.092 Seconds, with 17 Database-Queries