(R)-2-((3aR)-4-t-acetoxy-7a-methyl-(3ar,7at)-hexahydro-indan-1t-yl)-propionaldehyde | 101262-49-1

• 分子结构分类: 有机化合物 - 有机酸及其衍生物 - 羧酸及其衍生物
• 英文名称: (R)-2-((3aR)-4-t-acetoxy-7a-methyl-(3ar,7at)-hexahydro-indan-1t-yl)-propionaldehyde
• 英文别名: (R)-2-((3aR)-4-t-acetoxy-7a-methyl-(3ar,7at)-hexahydro-indan-1t-yl)-propionaldehyde；(R)-2-((3aR)-4-t-Acetoxy-7a-methyl-(3ar,7at)-hexahydro-indan-1t-yl)-propionaldehyd
• CAS: 101262-49-1
• 化学式: C₁₅H₂₄O₃
• 分子量: 252.354
• InChiKey: RPKWQCPZQDPPMU-WCDYYPSBSA-N

计算性质

• 辛醇/水分配系数(LogP)：
  2.97
• 重原子数：
  18.0
• 可旋转键数：
  3.0
• 环数：
  2.0
• sp3杂化的碳原子比例：
  0.87
• 拓扑面积：
  43.37
• 氢给体数：
  0.0
• 氢受体数：
  3.0

反应信息

• 作为反应物：
  描述：

  (R)-2-((3aR)-4-t-acetoxy-7a-methyl-(3ar,7at)-hexahydro-indan-1t-yl)-propionaldehyde 在 正丁基锂 、 乙醚 、 溶剂黄146 、 铂 作用下， 生成 (3aR)-1t-((S)-1,5-dimethyl-hexyl)-4t-(3,5-dinitro-benzoyloxy)-7a-methyl-(3ar,7at)-hexahydro-indan
  参考文献：
  名称：

  Inhoffen et al., Chemische Berichte, 1959, vol. 92, p. 1772,1785

  摘要：

  DOI：
• 作为产物：
  描述：

  <1R-<1α(S^*),3aβ,4α,7aα>>-4-acetoxyoctahydro-α,7a-dimethyl-1H-indene-1-acetaldehyde 在 氯仿 、 氨 、 溴 、 lithium 作用下， 生成 (R)-2-((3aR)-4-t-acetoxy-7a-methyl-(3ar,7at)-hexahydro-indan-1t-yl)-propionaldehyde
  参考文献：
  名称：

  Inhoffen et al., Chemische Berichte, 1959, vol. 92, p. 1772,1785

  摘要：

  DOI：

文献信息

• Type system in programming languages
  作者：Hui Jiang、Dong Lin、Xingyuan Zhang、Xiren Xie

  DOI：10.1007/bf02943207

  日期：2001.5

  Type system provides a precise description of a programming language. This is a prerequisite for the implementation and use of language. It also conducts mechanical and transparent type-checking on programs to prevent the occurrence of execution error during the running of programs. So, it can be said that, on the one hand, type system works as a formal tool to do mathematical analysis of language; on

  类型系统提供了对编程语言的精确描述。这是实现和使用语言的先决条件。它还对程序进行机械透明的类型检查，以防止程序运行过程中出现执行错误。所以，可以说，一方面，类型系统作为一种形式化的工具来进行语言的数学分析；另一方面，它是一种严格而精确地设计和实现语言的形式化方法。在本文中，首先讨论了类型系统的一些基本概念。然后，详细给出了基于图重写的函数式语言——SClean 的类型系统的实现。希望所提出的使用和实现类型系统的方法具有实用价值。