chapter

Recursive Programming

Author:

E. W. DijkstraAuthors Info & Claims

Edsger Wybe Dijkstra: His Life,Work, and Legacy

July 2022

Pages 291 - 300

https://doi.org/10.1145/3544585.3544601

Published: 13 July 2022 Publication History

Get Access

Reference

[1]

[1] Bauer, F. L., and K. Samelson: Sequentielle Formelübersetzung. Elektronische Rechenanlagen 1, H. 4, 176–182 (1959).

Google Scholar

Cited By

View all

Flynn CBennett KErickson JGreen ASeneviratne O(2023)Enabling Cross-Language Data Integration and Scalable Analytics in Decentralized Finance2023 IEEE International Conference on Big Data (BigData)10.1109/BigData59044.2023.10386383(4290-4299)Online publication date: 15-Dec-2023
https://doi.org/10.1109/BigData59044.2023.10386383
Alberts GDaylight E(2014)Universality versus Locality: The Amsterdam Style of Algol ImplementationIEEE Annals of the History of Computing10.1109/MAHC.2014.6136:4(52-63)Online publication date: Oct-2014
https://doi.org/10.1109/MAHC.2014.61

Index Terms

Recursive Programming

Index terms have been assigned to the content through auto-classification.

Recommendations

Object-oriented programming without recursive types
POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

It is widely agreed that recursive types are inherent in the static typing of the essential mechanisms of object-oriented programming: encapsulation, message passing, subtyping, and inheritance. We demonstrate here that modeling object encapsulation in ...
Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications

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 ...
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

Edsger Wybe Dijkstra: His Life,Work, and Legacy

July 2022

576 pages

ISBN:9781450397735

DOI:10.1145/3544585

Editors:
Krzysztof R. Apt
CWI, Amsterdam and University of Warsaw
,
Tony Hoare
University of Cambridge and Microsoft Research Ltd

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 July 2022

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Chapter

Appears in

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
8
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Flynn CBennett KErickson JGreen ASeneviratne O(2023)Enabling Cross-Language Data Integration and Scalable Analytics in Decentralized Finance2023 IEEE International Conference on Big Data (BigData)10.1109/BigData59044.2023.10386383(4290-4299)Online publication date: 15-Dec-2023
https://doi.org/10.1109/BigData59044.2023.10386383
Alberts GDaylight E(2014)Universality versus Locality: The Amsterdam Style of Algol ImplementationIEEE Annals of the History of Computing10.1109/MAHC.2014.6136:4(52-63)Online publication date: Oct-2014
https://doi.org/10.1109/MAHC.2014.61

View Options

Get Access

Login options

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

Cited By

Index Terms

Recommendations

Object-oriented programming without recursive types

Type-theoretic foundations for concurrent object-oriented programing

Type-theoretic foundations for concurrent object-oriented programing