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.
本文塑造了正式的函數(shù)式程序設(shè)計（FFP）語言的一種操作性語義模型，它實質(zhì)上是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數(shù)據(jù)模型的一個形式化語義描述。