Algebraic specifications of computable and semicomputable data types

机译：可计算和半计算数据类型的代数规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Bergstra J.A.; Tucker J.V.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Algebraic Specification for Input-Output in Abstract Data Types [J] . Patricia Peratto Mathematics and Computer Science . 2021,第2期

机译：用于抽象数据类型的输入输出的代数规范
2. A Tool for Testing Data Type Implementations from Maude Algebraic Specifications [J] . Isabel Pita, Adrián Riesco Electronic Notes in Theoretical Computer Science . 2012,第12期

机译：根据Maude代数规范测试数据类型实现的工具
3. An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications [J] . Rafael del Vado Ví?rseda, Fernando Pérez Morente Procedia Computer Science . 2012,第1期

机译：从形式代数规范验证抽象数据类型实现的创新教学工具
4. Algebraic specification of abstract data type and transition graphs: formal techniques for object-oriented analysis, specification and design [C] . Guetari, R., Haurat, . 1995

机译：抽象数据类型和过渡图的代数规范：面向对象分析，规范和设计的形式技术
5. Protocol specification and validation using abstract data types and finite state machines. [D] . Graff, Charles Joseph. 1996

机译：使用抽象数据类型和有限状态机进行协议规范和验证。
6. The tissue microarray data exchange specification: A document type definition to validate and enhance XML data [O] . David G Nohle, Leona W Ayers 2005

机译：组织微阵列数据交换规范：用于验证和增强XML数据的文档类型定义
7. Equational specifications, complete term rewriting systems, and computable and semicomputable algebras [O] . Bergstra, J.A., Tucker, J.V. 1996

机译：公式规范，完整的术语重写系统以及可计算和半计算代数
8. Algebraic Specifications of Computable and Semicomputable Data Structures [R] . Bergstra, J. A., Tucker, J. V. 1979

机译：可计算和半可数数据结构的代数规范

Algebraic specifications of computable and semicomputable data types

著录项

引文网络

相似文献

相关主题

期刊订阅