Algunos se caracterizan como haciendo la "(más fundamental) 'ciencia' subyacente en el campo de la computación".