Expression analysis and regulation of GLI and its correlation with stemness and metabolic alteration in human brain tumor.
Expression analysis and regulation of GLI and its correlation with stemness and metabolic alteration in human brain tumor.
复制标题
GLI在人脑肿瘤中的表达分析和调控及其与干性和代谢改变的相关性。
DOI：
10.1007/978-3-319-30936-1_10
复制
发表时间：
2023
期刊：
影响因子：
2.8
通讯作者：
Agrawal K
中科院分区：
文献类型：
--
作者：
Agrawal K
在程序转换领域，人们经常将程序转换为延续传递风格，以使其控制流显式，然后立即使用去功能化删除所产生的延续，使程序成为一阶程序。在本文中，我们将展示如何将这两个转换融合到一个单一的转换步骤中，从而省去了首先引入然后消除延续的需要。我们的方法是计算，使用标准的等式推理技术，并广泛适用。
In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable.