首页> 外文OA文献 >A Programming Logic for a Verified Structured Assembly Language

【2h】

A Programming Logic for a Verified Structured Assembly Language

机译：经过验证的结构化汇编语言的编程逻辑

页面导航

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

著录项

作者
Cb Qg; A. Voronkov (editor; Paul Curzon;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal verification of a programming logic for a distributed programming language [J] . Cui Zhang, Ronald A. Olsson, Karl N. Levitt Theoretical computer science . 1999,第1a2期

机译：对分布式编程语言的编程逻辑的形式验证
2. The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier [J] . Adam Chlipala ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第9期

机译：在可扩展程序验证程序中将生成元编程和Hoare逻辑相结合的基岩结构化编程系统
3. A Linear Logic Programming Language for Concurrent Programming over Graph Structures [J] . FLAVIO CRUZ, RICARDO ROCHA, SETH COPEN GOLDSTEIN, Theory and Practice of Logic Programming . 2014,第pta4a5期

机译：用于图结构并发编程的线性逻辑编程语言
4. The Bedrock Structured Programming System: Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier [C] . Adam Chlipala ACM SIGPLAN international conference on functional programming . 2013

机译：基岩结构化编程系统：在可扩展程序验证程序中结合生成元编程和Hoare逻辑
5. Abstraction as the Key to Programming, with Issues for Software Verification in Functional Languages. [D] . Bronish, Derek. 2012

机译：抽象是编程的关键，并涉及功能语言中的软件验证问题。
6. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices [O] . Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, 2021

机译：基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
7. Static verification of compositionality and termination for logic programming languages [O] . Verbaeten Sofie 2000

机译：逻辑编程语言的组成和终止的静态验证
8. Macro Instructions and Their Processor for Structured Programming with Assembly Languages. [R] . kahng, s. w. 1977

机译：用汇编语言进行结构化编程的宏指令及其处理程序。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号