Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 15 of 15 for “"type safety"”.
-
Hybrid Static/Dynamic Type Safety for C/C++ Programs
… these languages do not provide the strong safety guarantees that safe languages such as Java do. Programming mistakes can introduce type errors that are not caught at compile time. These errors may subsequently be triggered at runtime, and their sources maybe hard to detect. This thesis …
-
COMPILING AND DETECTING TYPE ERRORS IN INCOMPLETE JAVA PROGRAMS WITH GENERICS
… work with incomplete programs containing generic types and do not respect the type safety of the incomplete program. This thesis is, to our knowledge, the programming languages community's first attempt at tackling this problem: to automatically complete incomplete Java programs containing …
-
Preventing IPC-facilitated type confusion in Rust
Type-safe languages undertake to prevent the type confusion vulnerabilities that arise in type-unsafe languages such as C++. One such type-safe language is Rust, which provides powerful type safety guarantees [1]. However, these guarantees are valid only for a single compilation unit. That is, they …
-
Strongly typed, compile-time safe and loosely coupled data persistence
… been particularly concerned with compile-time type safety. Type mismatch errors between program and the database schema occur quite often during program development, and the techniques used in these approaches often defer error checking on database operations until runtime. In this thesis, we …
-
Making Hybrid Systems Easier to Model, Simulate, and Visualize
… specifications of the binding-time analysis. A type safety theorem is given to show the correctness of the semantics for specialization. The declarative specification of binding-time analysis is used to prove soundness with respect to the specialization process. We also provide an open-source …
-
Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
… abstract syntax (HOAS). We modify Hybrid's type of terms, which is built definitionally in terms of de Bruijn indices, to exclude at the type level terms with `dangling' indices. We strengthen the injectivity property for Hybrid's variable-binding operator, and develop rules for …
-
Combining Static and Dynamic Typing in Ruby
… such as Ruby, Python, and Perl are dynamically typed. Dynamic typing provides many advantages such as terse, flexible code and the ability to use highly dynamic language constructs, such as an eval method that evaluates a string as program text. However these dynamic features have traditionally …
-
A mechanized Theory of Aspects
… structure comes at the price of a decrease in safety: aspects themselves do not fulfill the expectations held for classical modules and can even harm the modularization of the existing application. Basic concepts such as the locality of errors, type soundness and re-usability can thus be harmed …
-
Analysis and modeling of roofer and steel worker fall accidents
… environmental factor, human factor, project type, construction end use, safety protective system provision, safety protective system usage, fall distance, and fatality/injury cause. </p> <p>Logistic regression model created for the combined SIC Codes of 1761 and 1791 showed that among the six …
-
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction
… only satisfied with respect to inputs of correct types. Therefore we typecheck the model to ensure that all type-safety constraints are satisfied. The resulting model can then be verified with CryptoVerif to obtain a computational security result directly, or with ProVerif, to obtain a …
-
Verified collection-based regression test selection via an extended Jinja semantics
… and updated, including Java-level and JVM-level type safety, equivalence between Java-level big-step and small-step semantics, and the correctness of a compilation from the Java level to the JVM level through J1. The semantics of this extension are based on the Java SE 8 specification. This …
-
Enhancing Mobile Devices through Code Offload
… code portability, serialization, reflection, and type safety. These features allows MAUI to automatically instrument and potentially offload methods that the developer has tagged as suitable for offload. MAUI is particularly effective on applications composed by operations whose computational cost …
-
The exploration of a safety attitude model for departmental safety representatives towards the implementation of a safety management system in an institute of tertiary education in Hong Kong
… In the University, the success of an effective safety management system (SMS) depends on many factors, one of which could be safety attitudes of Departmental Safety Representatives "DSRs" who have a major role in implementing SMS at the departmental level. They are employees with additional …