default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoseph A. Goguen
- > Home > Persons > Joseph A. Goguen
Publications
- 1996
[j34]Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins:
Software Component Search. J. Syst. Integr. 6(1/2): 93-134 (1996)- 1993
- [j30]José Meseguer, Joseph A. Goguen:
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. Inf. Comput. 103(1): 114-158 (1993) - 1992
- [j26]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (1992) - [j25]Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273 (1992) - 1990
- [c42]Hitoshi Aida, Joseph A. Goguen, José Meseguer:
Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332 - 1989
- [j21]José Meseguer, Joseph A. Goguen:
Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413 (1989) - 1988
- [c37]Joseph A. Goguen, José Meseguer:
Software for the Rewrite Rule Machine. FGCS 1988: 628-637 - 1987
- [j18]Joseph A. Goguen, José Meseguer:
Remarks on Remarks on Many-Sorted Equational Logic. ACM SIGPLAN Notices 22(4): 41-48 (1987) - [c34]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181 - [c33]Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler:
An Introduction to OBJ 3. CTRS 1987: 258-263 - [c32]Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada:
Parameterized Programming in OBJ2. ICSE 1987: 51-60 - [c31]Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987: 18-29 - [c30]Joseph A. Goguen, José Meseguer:
Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22 - [p2]Joseph A. Goguen, José Meseguer:
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478 - 1986
- [j16]Joseph A. Goguen, José Meseguer:
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS 30: 66-73 (1986) - [c29]Joseph A. Goguen, Claude Kirchner, José Meseguer:
Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93 - [c27]Joseph A. Goguen, José Meseguer:
Extensions and foundations of object-oriented programming. OOPWORK 1986: 153-162 - [c26]Joseph A. Goguen, José Meseguer:
Foundations and extensions of object-oriented programming (abstract only). OOPWORK 1986: 185 - [p1]Joseph A. Goguen, José Meseguer:
EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363 - 1985
- [c24]Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231 - [c23]Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Principles of OBJ2. POPL 1985: 52-66 - 1984
- [j15]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984) - [c22]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125 - [c21]Joseph A. Goguen, José Meseguer:
Unwinding and Inference Control. S&P 1984: 75-87 - 1983
- [j10]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983) - 1982
- [j9]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 17(1): 9-17 (1982) - [c19]Joseph A. Goguen, José Meseguer:
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281 - [c18]Joseph A. Goguen, José Meseguer:
Rapid prototyping: in the OBJ executable specification language. Rapid Prototyping 1982: 75-84 - [c17]Joseph A. Goguen, José Meseguer:
Security Policies and Security Models. S&P 1982: 11-20 - 1981
- [j8]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 16(7): 24-32 (1981) - 1977
- [c7]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
