Communications of the ACM
Abstract data types and software validation
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Computing in Systems Described by Equations
Computing in Systems Described by Equations
On proving inductive properties of abstract data types
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Using category theory to design implicit conversions and generic operators
Semantics-Directed Compiler Generation, Proceedings of a Workshop
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 Denotational Semantics Using Parameterized Abstract Modules
Proceedings of the International Colloquium on Formalization of Programming Concepts
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Data Types
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
The design, specification, and implementation of obj-t: a language for writing and testing abstract algebraic program specifications
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A technique for prototyping directly from a specification
ICSE '85 Proceedings of the 8th international conference on Software engineering
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Developing and debugging algebraic specifications for Java classes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Applying Visualisation to Validating Software System Requirements
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
| Hi-index | 0.00 |