首页> 外文OA文献 >Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

【2h】

Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

机译：Lolisa：数学工具COQ中的稳定性编程语言子集的正式语法和语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zheng Yang; Hang Lei;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Semantics of Programming Languages: VDL [J] . IBM Journal of Research and Development . 1981,第5期

机译：编程语言的形式语义：VDL
2. Syntax and operational semantics of a probabilistic programming language with scopes [J] . Bruza Peter D. Journal of Mathematical Psychology . 2016,第Null期

机译：具有范围的概率性编程语言的语法和操作语义
3. Safety-critical design for secure systems: Safety critical programs require a comprehensive approach, that combines the use of specialized languages and tools, rigorously controlled testing, and the use of formal methods [J] . Robert B. K. Dewar Embedded Systems Europe . 2006,第75期

机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
4. A Formal Semantics of PLC Programs in Coq [C] . Ould Biha Sidi 35th Annual IEEE International Computer Software and Applications Conference . 2011

机译：Coq中PLC程序的形式语义
5. Easy in Any Language: Syntax, Semantics, and Pragmatics of Activity-Oriented Adjectives in Six Languages [D] . ?Koffman, David 2020

机译：以任何语言轻松：以六种语言的活动型形容词的语法，语义和语用品
6. Aping Language: Historical Perspectives on the Quest for Semantics Syntax and Other Rarefied Properties of Human Language in the Communication of Primates and Other Animals [O] . Drew Rendall 2021

机译：一种观点语言：关于语义语法和人类语言的其他稀有性质的历史视角在灵长类动物和其他动物的沟通中
7. A formal semantics of PLC programs in Coq [O] . Ould Biha Sidi 2011

机译：Coq中PLC程序的形式语义
8. A Formal System for Defining the Syntax and Semantics of Computer Languages [R] . Ledgard, H. F. 1969

机译：一种定义计算机语言语法和语义的形式系统

Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

著录项

引文网络

相似文献

相关主题

期刊订阅