Scifaro

中文

面向对象的解决方案

计算机科学中的逻辑 2007-05-23 v1 数据库编程语言

作者: Viacheslav Wolfengagen

在 arXiv 上查看 ↗ PDF ↗

摘要

本文简要概述了动机、所使用的数学思想、前形式化及假设、对象作为函子的构建、软类型与概念构造、基于变量域的概念案例研究、提取计算背景以及评估示例。

关键词

面向对象函子软类型概念构造变量域

引用

@article{arxiv.cs/0106021,
  title  = {Object-oriented solutions},
  author = {Viacheslav Wolfengagen},
  journal= {arXiv preprint arXiv:cs/0106021},
  year   = {2007}
}