An object-oriented calculus with term constraints

DOI10.1017/S0956796806006174MaRDI QIDQ3444658zbMATH OpenOpenAlexFDO

Authors Gábor Mihály Surányi

Publication date 4 June 2007

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

Full work available at URL https://doi.org/10.1017/s0956796806006174

zbMATH Keywords

safetyCastagna's \(\lambda\)\&-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1231693
• A calculus for concurrent objects
• An imperative object calculus
• rCOS: a refinement calculus of object systems
• scientific article; zbMATH DE number 1330431

Cited in

(2)

• Calculus of task-constructive objects and their interpretations: II
• An imperative object calculus

This page was built for publication: An object-oriented calculus with term constraints

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