Browsing University of Waterloo by Subject "java"
Now showing items 1-4 of 4
-
Categorization and Detection of Energy Bugs and Application Tail Energy Bugs in Smartphones
(University of Waterloo, 2016-09-16)Smartphones are the most ubiquitous and popular hand-held devices because of their rich set of features and wide variety of services. However, their daily use is hampered by their high energy consumption, which forces ... -
Gradual Pluggable Typing in Java
(University of Waterloo, 2016-04-27)Gradual typing provides the ability to safely mix untyped or dynamically typed code with statically typed code while maintaining, within the statically typed portion, the guarantees claimed by the static typing. It is ... -
Light-weight verification of cryptographic API usage
(University of Waterloo, 2020-12-15)A pluggable type system is a light-weight approach for compile-time program verification, which provides more powerful types to both developers and compilers. Developers use pluggable types to boost program understanding, ... -
Specializing Scala with Truffle
(University of Waterloo, 2022-11-24)Scala is a generic object-oriented programming language with higher-order abstractions. Programming abstractions in Scala exemplify reusability and extensibility in the context of type safety. In particular, generic ...