Abstraction and Verification in Alphard: Iteration and Generators.

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

获取原文

页面导航

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

摘要

ion and Verification in Alphard: Iteration and Generators.- National Technical Reports Library V3.0 Abstraction and Verification in Alphard: Iteration and Generators. « Back to Search Results

著录项

作者
shaw,mary wulf,william a.;
展开▼
作者单位

展开▼
年度 1976
页码 1-48
总页数 48
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer programming; Programming languages; Iterations; Validation; Specifications; Alphard programming language;

机译：计算机编程;编程语言;迭代;验证;规范; alphard编程语言;

相似文献

外文文献
中文文献
专利

1. Verifying large modular systems using iterative abstraction refinement [J] . Lahtinen Jussi, Kuismin Tuomas, Heljanko Keijo Reliability Engineering & System Safety . 2015,第jula期

机译：使用迭代抽象细化验证大型模块化系统
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. Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement [J] . Wang Jingyi, Sun Jun, Qin Shengchao, IEEE Transactions on Software Engineering . 2021,第1期

机译：通过学习，抽象和改进自动“验证”离散时间复杂系统
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. From coding to community: Iteration, abstraction and open source software development. [D] . Weikel, Brad. 2009

机译：从编码到社区：迭代，抽象和开源软件开发。
6. An Abstraction-Based Framework for Neural Network Verification [O] . Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz -1

机译：基于抽象的神经网络验证框架
7. Abstraction and verification in Alphard : iteration and generators [O] . Shaw Mary, Wulf William Allan., London Ralph L. 1976

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

Abstraction and Verification in Alphard: Iteration and Generators.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅