Functional Ownership through Fractional Uniqueness
D Marshall, D Orchard - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
Ownership and borrowing systems, designed to enforce safe memory management without
the need for garbage collection, have been brought to the fore by the Rust programming …
the need for garbage collection, have been brought to the fore by the Rust programming …
Effects and Coeffects in Call-by-Push-Value
C Torczon, E Suárez Acevedo, S Agrawal… - Proceedings of the …, 2024 - dl.acm.org
Effect and coeffect tracking integrate many types of compile-time analysis, such as cost,
liveness, or dataflow, directly into a language's type system. In this paper, we investigate the …
liveness, or dataflow, directly into a language's type system. In this paper, we investigate the …
Coeffects for MiniJava: Cf-Mj
P Giannini, G Duso - Proceedings of the 26th ACM International …, 2024 - dl.acm.org
We propose an imperative Java-like calculus where declared variables can be annotated by
coeffects specifying constraints on their use, eg, affinity or privacy levels. Coeffects are …
coeffects specifying constraints on their use, eg, affinity or privacy levels. Coeffects are …
Resource-awareness for Java-like languages and beyond
R Bianchini - 2024 - tesidottorato.depositolegale.it
Abstract Reasoning about programs and their correctness concerns, in the first place, their
input/output behaviour. However, there are many important properties which are non …
input/output behaviour. However, there are many important properties which are non …
[PDF][PDF] A Complete Bibliography of Proceedings of the ACM on Programming Languages (PACMPL)
NHF Beebe - 2024 - netlib.sandia.gov
Abstract [BGMW20, BCE+23, BGG+20, Cou24, EDM23, GFV23, KEH23, Lem23, MZB24,
MFSV23, PWD24, YLY23, BCD22, CDG22, Cra19, FSSW22, FS22, JTD21, KMD+22 …
MFSV23, PWD24, YLY23, BCD22, CDG22, Cra19, FSSW22, FS22, JTD21, KMD+22 …