Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Abstract data types and software validation
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Stepwise Specification and Implementation of Abstract Data Types
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Abstract data types and the development of data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Data Types
Traversable stack with fewer errors
ACM SIGPLAN Notices
On the power of conditional specifications
ACM SIGPLAN Notices
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
On the power of algebras with recursion
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Regular Article: Another look at parameterization for order-sorted algebraic specifications
Proceedings of the 30th IEEE symposium on Foundations of computer science
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
CASL: the common algebraic specification language
Theoretical Computer Science
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
A Tool for Writing and Debugging Algebraic Specifications
Proceedings of the 26th International Conference on Software Engineering
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Systematic derivation of complementary specifications
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Developing and debugging algebraic specifications for Java classes
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Algebraic properties of interfaces
Formal Methods in Software and Systems Modeling
The Algebraic Specifications do not have the Tennenbaum Property
Fundamenta Informaticae
Hi-index | 0.00 |