The recursive record semantics of objects revisited

DOI10.1017/S0956796803004775zbMATH Open1088.68036MaRDI QIDQ4669643FDOQ4669643

Authors: Gérard Boudol 

Publication date: 15 April 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1692945
• scientific article; zbMATH DE number 1251179
• scientific article; zbMATH DE number 1104379
• scientific article; zbMATH DE number 814798
• Well-founded recursion over contextual objects
• Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles
• A recursive object algebra based on aggregation abstraction for manipulating complex objects
• scientific article; zbMATH DE number 1377611
• Difunctorial semantics of object calculus

zbMATH Keywords

object-oriented programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• Path resolution for nested recursive modules
• Title not available (Why is that?)
• Compilation of extended recursion in call-by-value functional languages
• An abstract monadic semantics for value recursion

This page was built for publication: The recursive record semantics of objects revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4669643)