Regular Article: Another look at parameterization for order-sorted algebraic specifications

Authors:
Zhenyu Qian
Affiliations:
-
Venue:
Proceedings of the 30th IEEE symposium on Foundations of computer science
Year:
1994

Citing 14
Cited 2

Partially ordered sorts in algebraic specifications

Proc. of the conference on Ninth colloquium on trees in algebra and programming
The semantics of shared submodules specifications

Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Algebraic specification of modules and their basic interconnections

Journal of Computer and System Sciences
The equational theory of parameterized specifications

Information and Computation - Semantics of Data Types
Parametrization for order-sorted algebraic specification

Journal of Computer and System Sciences
Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL

TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types

Journal of the ACM (JACM)
Data Type Specification: Parameterization and the Power of Specification Techniques

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameterized Data Types in Algebraic Specification Languages (Short Version)

Proceedings of the 7th Colloquium on Automata, Languages and Programming
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing

Workshop on Categorial Methods in Computer Science: With Aspects from Topology
The Semantics of CLEAR, A Specification Language

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Putting theories together to make specifications

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Parameterized Programming

IEEE Transactions on Software Engineering

A Framework for Order-Sorted Algebra

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Order-sorted parameterization and induction

Semantics and algebraic specification

Quantified Score

Hi-index	0.00

Visualization

Abstract

The parameterization of order-sorted algebraic specification is studied systematically by following the notion of order-sorted algebraic specification by Smolka, Nutt, Goguen, and Meseguer. Some notions of parameterized specification and parameter passing are introduced and justified in this context. Especially, we introduce a notion of coordinate parameter passing, which relates different actualizations of one parameterized specification in the very spirit of the order-sorted algebraic specifications. The semantics of coordinate parameter passing is proved to protect the semantics of each single actualization.