Adoption and focus: practical linear types for imperative programming

By Manuel Fähndrich, R. Deline. ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2002

306 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Verification of Object-Oriented Programs with Invariants (2003, background): “Other related static-checking systems are Vault [3] [7] and Fugue [4], which incorporate some modern alias confinement techniques like capabilities [17].”
Dependent types for JavaScript (2011, background): “Several subsequent proposals [2, 3, 13, 14, 31, 33] allow strong updates to weak references under certain circumstances to support temporary invariant violations.”
Typestates for Objects (2004, methodology): “See [ 4 ] for a detailed discussion of let! in the presence of imperative updates.”
RustBelt: securing the foundations of the rust programming language (2017, background): “Rust’s concept of lifetimes has appeared before in the form of regions [Fähndrich and DeLine 2002; Grossman et al. 2002].”
Checking Interference with Fractional Permissions (2003, background): “Walker, Crary and Morrisett’s static capability system [9] inspired DeLine and Fähndrich’s alias typing system for Vault [22], from which adoption and focus [23] grew.”