Concept
Haskell
Publications associées (34)
Celsius: A Model for Safe Initialization of Objects
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso
Accessing uninitialized data during object initialization is a common and subtle programming error. This error is either not prevented by mainstream languages, like in Java, C++, Scala, or it is prevented by greatly restricting initialization patterns, lik ...
2020A Type-and-Effect System for Object Initialization
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták
Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...
2020Contract-Based Resource Verification for Higher-Order Functions with Memoization
Viktor Kuncak, Ravichandhran Kandhadai Madhavan, Sumith Kulal
We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. a ...
Assoc Computing Machinery2017