Affiliation:
1. KTH Royal Institute of Technology, Kista, Sweden
2. Uppsala University, Uppsala, Sweden
Abstract
We present OOlong, an object calculus with interface inheritance, structured concurrency and locks. The goal of the calculus is extensibility and reuse. The semantics are therefore available in a version for L
A
T
E
X typesetting (written in Ott), a mechanised version for doing rigorous proofs in Coq, and a prototype interpreter (written in OCaml) for typechecking an running OOlong programs.
Publisher
Association for Computing Machinery (ACM)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AtomiS: Data-Centric Synchronization Made Practical;Proceedings of the ACM on Programming Languages;2023-10-16
2. Anticipation of Method Execution in Mixed Consistency Systems;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
3. Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07