什么是理论计算机科学,理论计算机科学的技术定义是什么？包括哪些子字段？...

理论计算机科学的技术定义是什么？ (或者，它应该是什么？)

它包含哪些主要子域，以及将它们与其他计算机科学区分开来的共性是什么？

更具体地说：如果某些特定的研究具有直接的实践动机，目标和结果，但主要涉及非常抽象的方法，那么它是否是理论计算机科学？

需要考虑两个例子：

"Relational Semantics for Effect-Based Program Transformations with Dynamic Allocation"(通过指称语义进行编译器优化)：http://research.microsoft.com/pubs/67977/ppdprelational.pdf

编辑：我想这个问题归结为"What does the term 'theory' mean in the context of computer science?" . 看看wiktionary这个词的6个不同含义，我不认为它们中的任何一个完全适合 . 我猜理论的数学意义完全适用于完全数学领域而不适用于其他领域，而对于VLSI，机器学习和计算生物学来说，它基本上不适合.877783_ .