Many-sorted theories and their algebras with some applications to data types
Algebraic methods in semantics
Algebraic methods in semantics
Canonical constraints for parameterized data types
Theoretical Computer Science
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Theoretical Computer Science
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Parameterized Data Types in Algebraic Specification Languages (Short Version)
Proceedings of the 7th 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
Algebraic Specifications with Generating Constraints
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Document based rational software development
Knowledge-Based Systems
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Elementary algebraic specifications of the rational function field
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Discrete generalised polynomial functors
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
| Hi-index | 0.00 |
Thirty years ago, in September 1971, the "ADJ Group" (Joe Goguen, Jim Thatcher, Eric Wagner, and Jesse Wright) was founded at IBM Research. In this paper I will sketch the history of the ADJ group, and give an overview of their technical contributions in the area of data type specification (making considerable use of hindsight). The aim here is to provide a unified treatment of the material that displays the mathematical simplicity, the power, and some of the shortcomings, of the approach. This is followed by some thoughts on why ADJ's ideas have not had more effect on software development. Finally there is a section sketching my investigations of program specification that were motivated by these thoughts.