Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
search result for S-K reduction machine in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
6
7
Next >
Last
reduction
Compiler Target Language
abstract machine
reduction strategy
parallel reduction
Tcode
S-K reduction machine
string reduction
beta reduction
G-Code
Computational Adequacy Theorem
Weak Head Normal Form
GRIP
GRAAL
applicative order reduction
delta reduction
Church-Rosser Theorem
graph reduction
head normalisation theorem
name capture
call-by-name
David Turner
Stack Environment Control Dump machine
normal order reduction
machine learning
projection
call-by-need
normal form
Nondeterministic Turing Machine
dynamic translation
Lisp Machine
threaded code
Virtual Machine/Conversational Monitor System
virtual machine
FP/M
eta conversion
Sequential Parlog Machine
dink
Nightmare File System
assembly language
Connection Machine LISP
machine code
von Neumann architecture
SECD machine
Turing Machine
FLUB
Goffin
data hierarchy
Nonpareil
Diamond
machine language
Brilliant
machine
firewall machine
Acorn RISC Machine
frotzed
Virtual Machine/System Product
black hole
AI koan
Lispkit
maximum Maytag mode
home machine
Data Driven Machine
ZetaLisp
fepped out
first generation language
LOWL
state machine
ARM
Idealized Instruction Set
slopsucker
register spilling
B-Method
Target-Machine Description Language
back-end
washing machine
CGGL
MIT Lisp Machine
Virtual Machine/XA
Virtual Machine/ESA
First
< Previous
1
2
3
4
5
6
7
Next >
Last