Some definitions for algebraic data type specifications-Reference-Cited by-同舟云学术

Some definitions for algebraic data type specifications

Published:1979-03 Issue:3 Volume:14 Page:28-37
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Kamin Sam¹

Affiliation:

1. SUNY, Stony Brook, NY

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Reference12 articles.

1. {ADJ1} Goguen Thatcher Wagner & Wright "An Initial Algebra Approach to the Specification Correctness & Implementation of Abstract Data Types." Current Trends in Programming Methodology IV:Data Structuring Raymond T. Yeh(ed.). also IBM Research Report RC 6487 {ADJ1} Goguen Thatcher Wagner & Wright "An Initial Algebra Approach to the Specification Correctness & Implementation of Abstract Data Types." Current Trends in Programming Methodology IV:Data Structuring Raymond T. Yeh(ed.). also IBM Research Report RC 6487

2. {ADJ2} Thatcher Wagner & Wright "Data Type Specifications: Parameterization and the Power of Specification Techniques " Proceedings 10th STOC Conf. May 1978 10.1145/800133.804340 {ADJ2} Thatcher Wagner & Wright "Data Type Specifications: Parameterization and the Power of Specification Techniques " Proceedings 10th STOC Conf. May 1978 10.1145/800133.804340

3. {ADJ3} Thatcher Wagner private communication {ADJ3} Thatcher Wagner private communication

4. {ADJ4} Thatcher Wagner "Specification of Abstract Data Types using Conditional Axioms " Extended Abstract IBM Research Report RC 6214 {ADJ4} Thatcher Wagner "Specification of Abstract Data Types using Conditional Axioms " Extended Abstract IBM Research Report RC 6214

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Separable Algorithmic Representations of Classical Systems and their Applications;Journal of Mathematical Sciences;2024-01

2. Computably Separable Models;Journal of Mathematical Sciences;2022-07

3. Division Safe Calculation in Totalised Fields;Theory of Computing Systems;2007-07-26

4. Elementary Algebraic Specifications of the Rational Function Field;Logical Approaches to Computational Barriers;2006

5. Elementary Algebraic Specifications of the Rational Complex Numbers;Algebra, Meaning, and Computation;2006