.png){kind=icon}
返回
MSVL: a typed language for temporal logic programming
.png){kind=icon}
PRE
AI
DOI：10.1007/s11704-016-6059-4.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The development of types is an important but challenging issue in temporal logic programming. In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which is an executable subset of projection temporal logic (PTL). Specifically, we extendMSVL with a few groups of types including basic data types, pointer types and struct types. On each type, we specify the domain of values and define some standard operations in terms of logic functions and predicates. Then, it is feasible to formalize statements of type declaration of program variables and statements of struct definitions as logic formulas. As the implementation of the theory, we extend theMSV toolkit with the support of modeling, simulation and verification of typedMSVL programs. Applications to the construction of AVL tree and ordered list show the practicality of the language.
Keyword:
type
temporal logic programming
MSVL
type declaration
struct definition
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.6
论文数:
1.6K
被引数:
2.8K
机构
引用论文
Development of summary indices of antenatal care service quality in Haiti, Malawi and Tanzania.png)
BMJ Open
OAAI
BMJ OpenIF0
OAAI分享收藏
分享收藏分享收藏
查看更多内容