J. Goguen

Publications
Influence

J. Goguen
Mathematics
1 April 1967

2,183
74

Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations

J. Goguen, J. Meseguer
Computer Science, Mathematics
Theor. Comput. Sci.
9 November 1992

We show that it is safe to add retracts to any OSA signature, in the sense that it gives rise to a conservative extension. Expand

A hidden agenda

J. Goguen, G. Malcolm
Computer Science, Medicine
Theor. Comput. Sci.
17 August 2000

Our experts consider a hot topic of the day.

Techniques for requirements elicitation

J. Goguen, C. Linde
Computer Science
[] Proceedings of the IEEE International…
4 January 1993

The authors survey and evaluate techniques for eliciting tacit knowledge of requirements of computer-based systems, paying particular attention to dealing with social issues. Expand

Initial Algebra Semantics and Continuous Algebras

J. Goguen, J. Thatcher, E. G. Wagner, J. Wright
Mathematics, Computer Science
JACM
1977

An overview of initial algebra semantics which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as basic operations. Expand

The Semantics of CLEAR, A Specification Language

R. Burstall, J. Goguen
Computer Science
Abstract Software Specifications
22 January 1979

A semantics for the Clear language for specifying problems and programs, described by Burstall and Goguen in 1977. Expand

Principles of OBJ2

K. Futatsugi, J. Goguen, J. Jouannaud, J. Meseguer
Computer Science
POPL '85
1985

01352 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an oprtationnl semantics that are based upon rewrite rules. Expand

Unwinding and Inference Control

J. Goguen, J. Meseguer
Computer Science
IEEE Symposium on Security and Privacy
1 April 1984

This paper discusses two main ideas, unwinding and inference control. Expand

Logical support for modularisation

R. Diaconescu, J. Goguen, P. Stefaneas
Mathematics
1 December 1993

Modularisation is important for managing the complex structures that arise in large theorem proving problems, and in large software and/or hardware development projects. This paper studies some… Expand

Putting Theories Together to Make Specifications

R. Burstall, J. Goguen
Computer Science
IJCAI
22 August 1977

We have been developing a language in which you can give structured descriptions of theories. Expand

Recommended Authors