首页> 美国政府科技报告 >Abstraction and Verification in ALPHARD:Design and Verification of a Tree Handler.

【24h】

Abstraction and Verification in ALPHARD:Design and Verification of a Tree Handler.

机译：aLpHaRD中的抽象和验证：树处理程序的设计和验证。

获取原文

页面导航

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

摘要

ion and Verification in ALPHARD: Design and Verification of a Tree Handler.- National Technical Reports Library V3.0 Abstraction and Verification in ALPHARD: Design and Verification of a Tree Handler. « Back to Search Results

著录项

作者
shaw,mary;
展开▼
作者单位

展开▼
年度 1976
页码 1-25
总页数 25
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Programming languages; Computer program verification; Methodology; Computer programs; Computer programming; Parsers; Arithmetic; Graphs; Alphard programming language; Abstraction; Trees(Mathematics);

机译：编程语言;计算机程序验证;方法;计算机程序;计算机程序设计;解析器;算术;图形; alphard编程语言;抽象;树（数学）;

相似文献

外文文献
中文文献
专利

1. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement [J] . Kafle Bishoksan, Gallagher John P. Computer Languages, Systems & Structures . 2017,第pta1期

机译：基于凸多面体抽象和基于树自动机的优化的Horn子句验证
2. Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification [J] . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2017,第3期

机译：跨抽象级别的验证流程，以正式规范为依据验证实现
3. Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions [J] . Bahrain N. Uchevler, Kjetil Svarstad International journal of reconfigurable computing . 2018,第期

机译：使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
4. An introduction to the construction and verification of Alphard programs [C] . Wm. A. Wulf, Ralph L. London, Mary Shaw Proceedings of the 2nd international conference on Software engineering . 1976

机译：Alphard程序的构建和验证简介
5. Word-level abstractions for sequential design verification using algebraic geometry. [D] . Sun, Xiaojun. 2017

机译：单词级抽象，用于使用代数几何进行顺序设计验证。
6. An Abstraction-Based Framework for Neural Network Verification [O] . Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz -1

机译：基于抽象的神经网络验证框架
7. Abstraction and Verification in Alphard: Design and Verification of a Tree Handler [O] . Shaw Mary 1976

机译：Alphard中的抽象和验证：树处理程序的设计和验证
8. Abstraction and Verification in Alphard: Iteration and Generators. [R] . shaw,mary wulf,william a. 1976

机译：alphard中的抽象和验证：迭代和生成器。

Abstraction and Verification in ALPHARD:Design and Verification of a Tree Handler.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅