Relational Calculus and Relational Program Semantics

机译：关系演算与关系程序语义

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

This report consists of two parts. In the first part the author conducts anextensive exploration of the relational calculus and in the second part the author investigates what it can do for those in the field of program semantics.

著录项

作者
Dijkstra, R. M.;
展开▼
作者单位

展开▼
年度 1995
页码 p.1-99
总页数 99
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Calculus; Computer programming; Galois theory; Semantics; Theses; Mathematicalmodels;

机译：微积分;计算机编程;伽罗瓦理论;语义学;论文;数学模型;

相似文献

外文文献
中文文献
专利

1. Relational semantics and a relational proof system for full lambek calculus [J] . Wendy MacCaull Journal of Symbolic Logic . 1998,第2期

机译：完全lambek演算的关系语义和关系证明系统
2. Relational semantics and a relational proof system for full lambek calculus [J] . Wendy MacCaull Journal of Symbolic Logic . 1998,第2期

机译：完全lambek演算的关系语义和关系证明系统
3. Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic [J] . Michael Kaminski, Nissim Francez Studia Logica . 2014,第3期

机译：具有经典命题逻辑的Lambek微积分的关系语义学
4. A relational calculus and algebra for mathematical programming models [C] . Choobineh, J. . 1993

机译：数学编程模型的关系演算和代数
5. Reality TV, Relational Aggression, and Romance: The Effects of Reality Show Viewing on Relational Aggression and Relational Quality in Romantic Relationships [D] . Swiatkowski, Paulina 2018

机译：真人秀，关系侵略和浪漫：真人秀观看对恋爱关系的侵略和关系素质的影响
6. An Initial Evaluation of a Culturally-Adapted Social Problem Solving and Relational Aggression Prevention Program for Urban African American Relationally Aggressive Girls [O] . Stephen S. Leff, Rebecca Lakin Gullan, Brooke S. Paskewich, -1

机译：对适应城市非洲裔美国人侵略性女孩文化适应性社会问题解决方案和预防关系侵害计划的初步评估
7. Well-definedness and semantic type-checking for the nested relational calculus [O] . Van den Bussche Jan, Van Gucht Dirk, Vansummeren Stijn 2007

机译：嵌套关系演算的良好定义和语义类型检查

Relational Calculus and Relational Program Semantics

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅