首页> 美国政府科技报告 >Abstraction and Verification in Alphard:Introduction to Language and Methodology.

【24h】

Abstraction and Verification in Alphard:Introduction to Language and Methodology.

机译：alphard中的抽象和验证：语言和方法论简介。

获取原文

页面导航

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

摘要

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

著录项

作者
wulf,william a. london,ralph l.;
展开▼
作者单位

展开▼
年度 1976
页码 1-49
总页数 49
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Programming languages; Computer program verification; Computer programming; Specifications; Data management; Modular construction; Decomposition; Computer logic; Reasoning; Programmers; Difficulty; Structured programming; Alphard programming language; Abstraction; Complexity; Data structures;

机译：编程语言;计算机程序验证;计算机程序设计;规范;数据管理;模块化构造;分解;计算机逻辑;推理;程序员;难度;结构化编程; alphard编程语言;抽象;复杂性;数据结构;

相似文献

外文文献
中文文献
专利

1. Programming Language Abstractions for Modularly Verified Distributed Systems [J] . James R. Wilcox, Ilya Sergey, Zachary Tatlock LIPIcs : Leibniz International Proceedings in Informatics . 2017,第4期

机译：模块化验证分布式系统的编程语言抽象
2. Compiler Verification Meets Cross-Language Linking via Data Abstraction [J] . Wang Peng, Cuellar Santiago, Chlipala Adam ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第10期

机译：编译器验证通过数据抽象满足跨语言链接
3. 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期

机译：跨抽象级别的验证流程，以正式规范为依据验证实现
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. Abstraction as the Key to Programming, with Issues for Software Verification in Functional Languages. [D] . Bronish, Derek. 2012

机译：抽象是编程的关键，并涉及功能语言中的软件验证问题。
6. A re-investigation of the path of carbon in photosynthesis utilizing GC/MS methodology. Unequivocal verification of the participation of octulose phosphates in the pathway [O] . Ian L. Flanigan, John K. MacLeod, John F. Williams -1

机译：利用GC / MS方法对光合作用中碳的路径进行了重新研究。明确验证八糖磷酸酯参与该途径
7. Abstraction and Verification in Alphard: Design and Verification of a Tree Handler [O] . Shaw Mary 1976

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

Abstraction and Verification in Alphard:Introduction to Language and Methodology.

摘要

著录项

相似文献

相关主题

期刊订阅