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)
Abstract data types and software validation
Communications of the ACM
Communications of the ACM
Final data type specifications: a new data type specification method
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract Implementation of Abstract Data Types
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
A Simple Class of Algorithmic Specifications for Abstract Software Modules
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Initially-Restricting Algebraic Theories
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Existential Quantifiers in Abstract Data Types
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Algorithmic Specifications of Abstract Data Types
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Implementation of Parameterised Specifications (Extended Abstract)
Proceedings of the 9th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Parameter Passing in Algebraic Specification Languages
Program Specification, Proceedings of a Workshop
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Regular Article: Another look at parameterization for order-sorted algebraic specifications
Proceedings of the 30th IEEE symposium on Foundations of computer science
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Order-sorted parameterization and induction
Semantics and algebraic specification
| Hi-index | 0.00 |