Are We Ready for a Safer Construction Environment?
No abstract available.
Related papers
- Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk) Haskell 2017
- Linear Promises: Towards Safer Concurrent Programming ECOOP 2021
- Safer at any speed: automatic context-aware safety enhancement for Rust OOPSLA 2021
- Safer smart contract programming with Scilla OOPSLA 2019
- Daedalus: Safer Document Parsing PLDI 2024
- Objects on the Server: Are We Ready? (Panel Session) OOPSLA 1996
- Safer open-nested transactions through ownership PPoPP 2008
- Incremental compilation in Magpie PLDI 1984