The PegaSys System: pictures as formal documentation of large programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structured algebraic specifications: A kernel language
Theoretical Computer Science
Initiality, induction, and computability
Algebraic methods in semantics
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A more expressive formulation of many sorted logic
Journal of Automated Reasoning
Formal specification- a comparison of two techniques
The Computer Journal
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Crypt-equivalent algebraic specifications
Acta Informatica
Computability and implementability issues in abstract data types
Science of Computer Programming
Algebraic specification of Macintosh's Quickdraw using OBJ2
ICSE '88 Proceedings of the 10th international conference on Software engineering
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
Induction principles formalized in the calculus of constructions
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM (JACM)
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Operational Semantics of OBJ-3 (Extended Abstract)
ICALP '88 Proceedings of the 15th International 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
Operational Semantics for Order-Sorted Algebra
Proceedings of the 12th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
How to Prove Algebraic Inductive Hypotheses Without Induction
Proceedings of the 5th Conference on Automated Deduction
Algebraic Theory of Parameterized Specifications with Requirements
CAAP '81 Proceedings of the 6th Colloquium on Trees in Algebra and Programming
PegaSys: A system for graphical explanation of program designs
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
Equations and rewrite rules: a survey
Equations and rewrite rules: a survey
Structured programming
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
| Hi-index | 0.00 |