article

Free access

Extensions and foundations of object-oriented programming

Authors:

Joseph A. Goguen,

José MeseguerAuthors Info & Claims

ACM SIGPLAN Notices, Volume 21, Issue 10

Pages 153 - 162

https://doi.org/10.1145/323648.323755

Published: 01 June 1986 Publication History

PDF eReader

References

[1]

Colmerauer, Alan, H. Kanoui, H. and M. van Caneghem. Etude et Realisation d'un Systeme Prolog. Groupe d'Intelligence Artificielle, U.E.R. de Luminy, Universite d'Aix-Marseille iI, 1979.

Google Scholar

[2]

Futatsugi, Kokichi, Joseph Goguen, Jean-Pierre Jouannaud and Jos~ Meseguer. Principles of OBJ2. In Proceedings, Symposium on Principle~ of Programming Language,~, Association for Computing Machinery, 1985, pp. 52-66.

Digital Library

Google Scholar

[3]

Goguen, Joseph. Order Sorted Algebra. UCLA Computer Science Department, 1978. Semantics and Theory of Computation Report No. 14.

Google Scholar

[4]

Goguen, Joseph. "Parameterized Programming'. Transaction8 on Software Engineering SE-IO, 5 (September 1984), 528-543.

Digital Library

Google Scholar

[5]

Goguen, Joseph. One, None, A Hundred Thousand Specification Languages. In Proceedings, IFIP '86, IFIP, 1986.

Google Scholar

[6]

Goguen, Joseph. "Reusing and Interconnecting Software Components'. Computer 19, 2 (February 1986), 16-28.

Digital Library

Google Scholar

[7]

Goguen, Joseph and Rod Burstall. Lecture Note~ in Computer Science. Volume 164: introducing Institutions. In Proceedinge, Logice of Programming Workehop, Edward Clarke and Dexter Kozea, Ed., Springer-Verlag, 1984, pp. 221-256.

Digital Library

Google Scholar

[8]

Goguen, Joseph and Rod Burstall. Institutions: Abstract Model Theory for Computer Science. CSLI-85-30, Center for the Study of Language and Information, Stanford University, 1985. Also submitted for publication; a preliminary version appears in Proceedings, Logice of Programming Workshop, edited by Edward Clarke and Dexter Kozen, volume 164, Springer-Verlag Lecture Notes in Computer Science, pages 221-256, 1984.

Digital Library

Google Scholar

[9]

Goguen, Joseph and Rod Burstall. A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments. in Proceedings, Conference on Computer Science and Category Theory, David Pitt and David Rydeheard, Ed., Springer-Verlag, 1986. To appear.

Digital Library

Google Scholar

[10]

Goguen, Joseph and Josd Meseguer. Lecture Notes in Computer Science. Volume 134: Universal Realization, Persistent interconnection and Implementation of Abstract Modules. In Proceedings, 9th International Conference on Automata, Language2 and Programming, Springer-Verlag, 1982, pp. 265-281.

Digital Library

Google Scholar

[11]

Goguen, Joseph and Josd Meseguer. Order-Sorted Algebra I: Partial and Overloaded Operations, Errors and Inheritance. To appear, SRI International, Computer Science Lab, 1986. Given as lecture at Seminar on Types, Carnegie-Mellon University, June 1983.

Google Scholar

[12]

Goguen, Joseph and Josd Meseguer. Eqlog: Equality, Types, and Generic Modules for Logic Programming. In Functional and Logic Programming, Douglas DeGroot ~nd Gary Lindstrom, Eds., Prentice- Hall, 1986, pp. 295-363. An earlier version appears in the Journal of Logic Programming, volume 1, number 2, pages 179-210, September 1984.

Google Scholar

[13]

Goguen, Joseph, Claude Kirchner, Sany Leinwand, Jos6 Meseguer and Timothy Winkler. "Progress Report on the Rewrite Rule Machine'. IEEE Technical Committee on Computer Architecture Neweletter (1986). To appear.

Google Scholar

[14]

Kowalski, Robert. Logic for Problem Solving. DCL Memo 75, Department of Artificial Intelligence, University of Edinburgh, 1974. Also as book, from North-Holland Publishing Co., 1979.

Digital Library

Google Scholar

Cited By

View all

Lin HPong M(2022)Modelling multiple inheritance with colimitsFormal Aspects of Computing10.1007/BF018882312:1(301-311)Online publication date: 2-Jan-2022
https://dl.acm.org/doi/10.1007/BF01888231
Geldart JCummins SSong W(2008)A Web of Active KnowledgeProceedings of the 2008 Fourth International Conference on Semantics, Knowledge and Grid10.1109/SKG.2008.103(465-468)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1109/SKG.2008.103
Goguen JDiaconescu R(2005)Towards an algebraic semantics for the object paradigmRecent Trends in Data Type Specification10.1007/3-540-57867-6_1(1-29)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-57867-6_1
Show More Cited By

Index Terms

Extensions and foundations of object-oriented programming

Recommendations

What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Foundations of C++ and Object-Oriented Programming
Type-theoretic foundations for concurrent object-oriented programing

A number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is “object-oriented programming = λ-calculus + record.” Based on an analogous view “concurrent object-oriented programming = concurrent ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 21, Issue 10

Oct. 1986

190 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/323648

Editor:
Richard L. Wexelblat

Issue’s Table of Contents

OOPWORK '86: Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
June 1986
192 pages
ISBN:0897912055
DOI:10.1145/323779
Chairmen:
Peter Wegner
Brown Univ., Providence, RI
,
Bruce Shriver
IBM T. J. Watson Research Center, Yorktown Heights, NY

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1986

Published in SIGPLAN Volume 21, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

52
Total Citations
View Citations
462
Total Downloads

Downloads (Last 12 months)107
Downloads (Last 6 weeks)33

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lin HPong M(2022)Modelling multiple inheritance with colimitsFormal Aspects of Computing10.1007/BF018882312:1(301-311)Online publication date: 2-Jan-2022
https://dl.acm.org/doi/10.1007/BF01888231
Geldart JCummins SSong W(2008)A Web of Active KnowledgeProceedings of the 2008 Fourth International Conference on Semantics, Knowledge and Grid10.1109/SKG.2008.103(465-468)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1109/SKG.2008.103
Goguen JDiaconescu R(2005)Towards an algebraic semantics for the object paradigmRecent Trends in Data Type Specification10.1007/3-540-57867-6_1(1-29)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-57867-6_1
Meseguer JWinkler T(2005)Parallel programming in maudeReasearch Directions in High-Level Parallel Programming Languages10.1007/3-540-55160-3_49(253-293)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-55160-3_49
Meseguer J(2005)Conditional rewriting logic: Deduction, models and concurrencyConditional and Typed Rewriting Systems10.1007/3-540-54317-1_81(64-91)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-54317-1_81
Goguen J(2005)Semantic specifications for the rewrite rule machineConcurrency: Theory, Language, and Architecture10.1007/3-540-53932-8_53(215-234)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-53932-8_53
Goguen J(2005)An algebraic approach to refinementVDM '90 VDM and Z — Formal Methods in Software Development10.1007/3-540-52513-0_2(12-28)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-52513-0_2
Jouannaud JKirchner CKirchner HMégrelis A(2005)OBJ: Programming with equalities, subsorts, overloading and parameterizationAlgebraic and Logic Programming10.1007/3-540-50667-5_57(41-52)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-50667-5_57
Goguen JKirchner CMeseguer J(2005)Concurrent term rewriting as a model of computationGraph Reduction10.1007/3-540-18420-1_50(53-93)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-18420-1_50
Diaconescu RFutatsugi KIida S(2000)CafeOBJ JewelsCAFE: An Industrial-Strength Algebraic Formal Method10.1016/B978-044450556-9/50062-9(33-60)Online publication date: 2000
https://doi.org/10.1016/B978-044450556-9/50062-9
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

What Is Object-Oriented Programming?

Foundations of C++ and Object-Oriented Programming

Type-theoretic foundations for concurrent object-oriented programing

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations