H N Y 9 7 3 4 8 :

104 Joseph Goguen

web page
Inventor of OBJ, pioneering modular oo language

Languages:

References:

  • Goguen, J.A. (1976) Goguen, J.A. "Higher-Order Functions Considered Unnecessary for Higher-Order Programming", in Research Topics in Functional Programming.  E A Extract: Some History Abstract Extract: Introduction Extract: Parameterized Programming Extract: Aspects of OBJ
  • Joseph Goguen and Joseph Tardo. (1977) Joseph Goguen and Joseph Tardo. "OBJ-0 preliminary users manual" Semantics and theory of computation report 10, UCLA, 1977.  E A
  • Goguen, J. R. (1978) Goguen, J. R. "On the automatic translation of intermediate-level program to machine languages,*' PhD Thesis, Dept. of Electrical Engineering, Univ. of Toronto, Toronto, Ont., Canada, 1978.  E A
  • Joseph Goguen. (1979) Joseph Goguen. "Abstract errors for abstract data types"  E A
          in IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978  E
  • Goguen, Joseph (1979) Goguen, Joseph "Some design principles and theory for OBJ-0, a language for expressing and executing algebraic specifications of programs"  E A
          in Blum, Edward; Paul, Manfred and Satsoru Takasu, ed (1979) Blum, Edward; Paul, Manfred and Satsoru Takasu, editors, Proceedings, Conference on Mathematical Studies of Information Processing, Springer, 1979. Lecture Notes in Computer Science, Volume 75.  E
  • Boulton, P. I. P.; and Goguen, J. R. (1979) Boulton, P. I. P.; and Goguen, J. R. "A machine description language" pp132-135  E A Abstract
          in (1979) The Computer Journal 22(02) (May 1979)  E
  • Goguen, J. Meseguer, J. and Plaisted, D. (1982) Goguen, J. Meseguer, J. and Plaisted, D. "Programming with parametrized abstract objects in OBJ"  E A
          in Theory and Practice of Software Technology, edited (1982) Theory and Practice of Software Technology, edited by D. Ferrari, M. Bolognani, and J. Goguen, North-Holland, 1982  E
  • Theory and Practice of Software Technology, edited (1982) Theory and Practice of Software Technology, edited by D. Ferrari, M. Bolognani, and J. Goguen, North-Holland, 1982  E A
          in Theory and Practice of Software Technology, edited (1982) Theory and Practice of Software Technology, edited by D. Ferrari, M. Bolognani, and J. Goguen, North-Holland, 1982  E
  • Goguen, J. and J. Meseguer, (1984) Goguen, J. and J. Meseguer, "Equality, types, modules and generics for logic programming," Technical Report No. 5, Center for the Study of Language and Information (CSLI), Stanford University, 1984.  E A
          in Theory and Practice of Software Technology, edited (1982) Theory and Practice of Software Technology, edited by D. Ferrari, M. Bolognani, and J. Goguen, North-Holland, 1982  E
  • Goguen, J. A. and Meseguer, J. (1984) Goguen, J. A. and Meseguer, J. "Equality, Types, Modules, and (why not?) Generics for Logic Programming" pp179-210  E A
          in (0) Journal of Logic Programming  E
  • Goguen, Joseph and Joseph Tardo. (1985) Goguen, Joseph and Joseph Tardo. "An introduction to OBJ: A language for writing and testing software specifications"  E A
          in (1985) Zelkowitz, Marvin (ed) Specification of Reliable Software, IEEE, 1979.  E
  • Goguen, Joseph and Meseguer, José (1986) Goguen, Joseph and Meseguer, José "EQLog: Equality, Types and Generic Modules for Logic Programming" pp295-363  E A
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986  E
  • Goguen, J. A. (1986) Goguen, J. A. "Reusing and Interconecting Software Components"  E A
          in (1986) IEEE Computer, 19(02) February 1986  E
  • Goguen, J. et al (1987) Goguen, J. et al "Extensions and Foundations for Object-Oriented Programming"  E A
          in Shriver B. (1987) Shriver B. et al eds, Research Directions in Object-Oriented Programming, MIT Press 1987.  E
  • (1988) "Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl (1988)  E A
          in Shriver B. (1987) Shriver B. et al eds, Research Directions in Object-Oriented Programming, MIT Press 1987.  E
  • Joseph Goguen. (1989) Joseph Goguen. "OBJ as a theorem prover, with application to hardware verification". pp218-267  E A
          in Subramanyan, V.P. and Birtwhistle, Graham [eds], (1989) Subramanyan, V.P. and Birtwhistle, Graham [eds], "Current Trends in Hardware Verification and Automated Theorem Proving" Springer, 1989.  E
  • Joseph Goguen, Timothy Winkler, Jose Meseguer, Kok (1989) Joseph Goguen, Timothy Winkler, Jose Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud. "Introducing OBJ3" in Applications of Algebraic Specification using OBJ, edited by Joseph Goguen and Grant Malcolm  E A
          in Subramanyan, V.P. and Birtwhistle, Graham [eds], (1989) Subramanyan, V.P. and Birtwhistle, Graham [eds], "Current Trends in Hardware Verification and Automated Theorem Proving" Springer, 1989.  E
  • J.A. Goguen, D. Coleman and R. Gallimore (1992) J.A. Goguen, D. Coleman and R. Gallimore "Applications of Algebraic Specification using OBJ", Cambridge Press, 1992  E A
          in Subramanyan, V.P. and Birtwhistle, Graham [eds], (1989) Subramanyan, V.P. and Birtwhistle, Graham [eds], "Current Trends in Hardware Verification and Automated Theorem Proving" Springer, 1989.  E
  • Borba, Paulo and Joseph Goguen, An operational sem (1994) Borba, Paulo and Joseph Goguen, An operational semantics for FOOPS, In Roel Wieringa and Remco Feenstra, editors, International Workshop on Information Systems - Correctness and Reusability, IS-CORE'94, Technical Report IR-357. Vrije Universiteit, Amsterdam, September 1994. A longer version appeared as Technical Monograph PRG-115, Oxford University Computing Laboratory, November 1994.  E A Abstract
          in Subramanyan, V.P. and Birtwhistle, Graham [eds], (1989) Subramanyan, V.P. and Birtwhistle, Graham [eds], "Current Trends in Hardware Verification and Automated Theorem Proving" Springer, 1989.  E
  • Borba, Paulo and Joseph A. (1995) Borba, Paulo and Joseph A. Goguen. Refinement of Concurrent Object Oriented Programs. Chapter 11 of Formal Methods in Object Technology, Stephen Goldsack and Stuart Kent (eds.), Springer, 1996. Also appears as Technical Report TR-18-95, Oxford University Computing Laboratory, Programming Research Group, November 1995  E A Abstract
          in Subramanyan, V.P. and Birtwhistle, Graham [eds], (1989) Subramanyan, V.P. and Birtwhistle, Graham [eds], "Current Trends in Hardware Verification and Automated Theorem Proving" Springer, 1989.  E
  • (1996) An Object-Oriented Tool for Tracing Requirements, by Francisco Pinheiro and Joseph Goguen  E A
          in (1996) IEEE Software (special issue of papers from International Conference on Requirements Engineering '96) March 1996  E
  • Goguen, Joseph Malcolm, Grant (1996) Goguen, Joseph Malcolm, Grant "Algebraic Semantics of Imperative Programs" (Foundations of Computing) by CIT Press - Foundations of Computing 1996  E A
          in (1996) IEEE Software (special issue of papers from International Conference on Requirements Engineering '96) March 1996  E
  • Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999  E A
          in (1996) IEEE Software (special issue of papers from International Conference on Requirements Engineering '96) March 1996  E