English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Aliasing is a known source of challenges in the context of imperativeobject-oriented languages, which have led to important advances in type systemsfor aliasing control. However, their large-scale adoption has turned out to bea surprisingly difficult challenge. While new language designs show promise,they do not address the need of aliasing control in existing languages.  This paper presents a new approach to isolation and uniqueness in anexisting, widely-used language, Scala. The approach is unique in the way itaddresses some of the most important obstacles to the adoption of type systemextensions for aliasing control. First, adaptation of existing code requiresonly a minimal set of annotations. Only a single bit of information is requiredper class. Surprisingly, the paper shows that this information can be providedby the object-capability discipline, widely-used in program security. Weformalize our approach as a type system and prove key soundness theorems. Thetype system is implemented for the full Scala language, providing, for thefirst time, a sound integration with Scala's local type inference. Finally, weempirically evaluate the conformity of existing Scala open-source code on acorpus of over 75,000 LOC.

Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness