Semantics of Integrated Language FOPL

Mei Hong

您当前的位置：

首页 >

文章列表页 >

Semantics of Integrated Language FOPL

更新时间：2025-12-08

- Semantics of Integrated Language FOPL
- Acta Electronica Sinica Issue 2, (1995)
- 作者机构：
  
  1. 北京大学计算机科学技术系
  2. 上海交通大学计算机科学工程系
  3. 北京大学计算机科学技术系上海交通大学计算机科学工程系
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP312
- Published：1995
- 稿件说明：
移动端阅览
[1]梅宏,孙永强.合成型语言FOPL的语义研究[J].电子学报,1995(02):12-16.

Mei Hong. Semantics of Integrated Language FOPL[J]. Acta Electronica Sinica, 1995, (2).
[1]梅宏,孙永强.合成型语言FOPL的语义研究[J].电子学报,1995(02):12-16. DOI：

Mei Hong. Semantics of Integrated Language FOPL[J]. Acta Electronica Sinica, 1995, (2). DOI：

摘要

函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

Abstract

Functional object-oriented programming language FOPL is an intelligent integrated language which supports both functional programming style and object-oriented programming style.Its denotational semantics is described on a universal abstract space.Moreover

a call-by-value operational semantics to which the denotational semantics is computationally correspondent is discussed.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

An Operational Semantics for UML State Machines in Model Checking Context

Related Author

ZHOU Ying

ZHENG Guo-liang

LI Xuan-dong

Related Institution

State Key Laboratory for Novel Software Technology, Nanjing University

Department of Computer Science and Technology, Nanjing University

⁰