A constructive method for abstract algebraic software specification
Theoretical Computer Science
Exception Handling: Formal Specification and Systematic Program Construction
IEEE Transactions on Software Engineering
Synthesizing implementations of abstract data types from axiomatic specifications
Software—Practice & Experience
An exception handling method for constructive algebraic specifications
Software—Practice & Experience
A compiler for a class of conditional term rewriting systems
1st international workshop on Conditional Term Rewriting Systems
Compiling conditional rewriting systems
1st international workshop on Conditional Term Rewriting Systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Operational Semantics of OBJ-3 (Extended Abstract)
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Towards Abstract User Interfaces for Formal System Specifications
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Synthesizing iterators from abstraction functions
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
| Hi-index | 0.00 |