Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Reports, Documentation, and Standards
  4. Celsius: A Model for Safe Initialization of Objects
 
research report

Celsius: A Model for Safe Initialization of Objects

Liu, Fengyun  
•
Biboudis, Aggelos  
•
Giarrusso, Paolo G.
Show more
January 9, 2020

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, like in Swift. In this paper, we propose a model called Celsius for safe and modular initialization of objects, and prove its soundness. We extend the model and implement a prototype in Scala. The experiments on several real-world Scala projects show that the design requires few programmer annotations.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

oopsla19.pdf

Access type

openaccess

Size

583.03 KB

Format

Adobe PDF

Checksum (MD5)

8b196573456f85b65828a996c75641ed

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés