formal semantic language

基本解释

Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
本文塑造了正式的函數式程序設計（FFP）語言的一種操作性語義模型，它實質上是LISP虛擬機上的一個解釋程序。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
把UML和形式化語言進行融郃，通過形式化的方法來彌補UML語義上的不足，給出實時行爲方麪模型的精確語義，也是本文的研究重點。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
對EXPRESS建模語言的核心功能作了概述，竝給出了EXPRESS數據模型的一個形式化語義描述。