A basic abstract semantic algebra
Proc. of the international symposium on Semantics of data types
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Polymorphic type inference and containment
Information and Computation - Semantics of Data Types
Unified algebras and action semantics
Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science on STACS 89
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Initially-Restricting Algebraic Theories
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Order-sorted parameterization and induction
Semantics and algebraic specification
On the specification and verification of model transformations
Semantics and algebraic specification
| Hi-index | 0.00 |
This paper concerns the algebraic specification of abstract data types. It introduces and motivates the recently-developed framework of unified algebras, and provides a practical notation for their modular specification. It also compares unified algebras with the well-known framework of order-sorted algebras, which underlies the OBJ specification language.