首页> 外文OA文献 >Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

【2h】

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

机译：在Verilog硬件描述语言的规范和动画中结合操作语义，逻辑编程和文字编程

页面导航

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

著录项

作者
Jonathan P. Bowen; Alfred North Whitehead;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An Introduction to metric semantics: operational and denotational models for programming and specification languages [J] . van Breugel F. Theoretical computer science . 2001,第1a2期

机译：度量语义简介：用于编程和规范语言的操作模型和指称模型
2. Vdiff: a program differencing algorithm for Verilog hardware description language [J] . Adam Duley, Chris Spandikow, Miryung Kim Automated software engineering . 2012,第4期

机译：Vdiff：Verilog硬件描述语言的程序区分算法
3. Combining answer set programming with description logics for the Semantic Web [J] . Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Artificial intelligence . 2008,第12a13期

机译：将答案集编程与语义网的描述逻辑相结合
4. Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language [C] . Jonathan P. Bowen Integrated Formal Methods . 2000

机译：在Verilog硬件描述语言的规范和动画中将操作语义，逻辑编程和精简编程相结合
5. An abstract operational model for a functional-logic programming language. [D] . Takahashi, Silvia. 1994

机译：功能逻辑编程语言的抽象操作模型。
6. Language-Agnostic Reproducible Data Analysis Using Literate Programming [O] . Boris Vassilev, Riku Louhimo, Elina Ikonen, -1

机译：使用精巧编程进行语言不可知的可重复数据分析
7. An Animatable Operational Semantics of the Verilog Hardware Description Language [O] . Jonathan P. Bowen, Jifeng He, Qiwen Xu 2000

机译：Verilog硬件描述语言的可动画操作语义

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

著录项

引文网络

相似文献

相关主题

期刊订阅