Usability-Oriented Design of Liquid Types for Java

Developers want to detect bugs as early in the development lifecycle as possible, as the effort and cost to fix them increases with the incremental development of features. Ultimately, bugs that are only found in production can have catastrophic consequences. Type systems are effective at detecting...

Full description

Saved in:
Bibliographic Details
Main Authors: Gamboa, Catarina, Canelas, Paulo, Timperley, Christopher, Fonseca, Alcides
Format: Conference Proceeding
Language:English
Subjects:
Computer bugs
Computer languages
Java
Liquid Types
Liquids
Program processors
Refinement Types
Runtime
Surveys
Usability
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!