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è)計(jì)（FFP）語(yǔ)言的一種操作性語(yǔ)義模型，它實(shí)質(zhì)上是LISP虛擬機(jī)上的一個(gè)解釋程序。
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和形式化語(yǔ)言進(jìn)行融合，通過(guò)形式化的方法來(lái)彌補(bǔ)UML語(yǔ)義上的不足，給出實(shí)時(shí)行為方面模型的精確語(yǔ)義，也是本文的研究重點(diǎn)。
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.
對(duì)EXPRESS建模語(yǔ)言的核心功能作了概述，并給出了EXPRESS數(shù)據(jù)模型的一個(gè)形式化語(yǔ)義描述。