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 20 of 66 for “"type system"”.
-
A polymorphic type system for logic programs
This thesis develops a polymorphic type system for logic programs. Our approach is semantically oriented. We define a type language with precise semantics. Type inference rules are derived from the semantics of the type language and the semantics of logic programs. Algorithms for automatic type …
-
A wide spectrum type system for transformation theory
… be confronted with is the migration of a legacy system. Usually, these systems are unstructured, poorly documented and contain complex program logic. The reason for this, in most cases, is an emphasis on raw performance rather than on clean and structured code as well as a long period of applying …
-
SafeJava : a unified type system for safe programming
… our society today. This thesis presents a new type system that addresses this problem by statically preventing several important classes of programming errors. If a program type checks, we guarantee at compile time that the program does not contain any of those errors. We designed our type …
-
Type system for resource bounds with type-preserving compilation
… fees) can be charged. I designed TiML, a new typed functional programming language whose types contain resource bounds; when a TiML program passes the typechecking phase, upper bounds on its resource usage can be guaranteed. TiML uses indexed types to express sizes of data structures and upper …
-
STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM
… metaprogramming to superimpose a security-type system on top of C++’s existing type system. Covert C++ enforces an information-flow policy that prevents secret data from influencing program control flow and memory access patterns, thus obviating side-channel leaks. Formally, Covert C++ can …
-
Using the Personality Type System to assess personality types of social workers
… if there is a tendency for a certain personality type among social workers. Sixty-four social workers were given the Personality Type System and a demographics information sheet. The Personality Type System is a self-report inventory that categorizes personality on four scales: …
-
Two issues in public key cryptography : RSA bit security and a new knapsack type system
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 1985
-
Parameterized types for GOO
… to many programming languages is a generic type or parameterized type system. I have added support for a parameterized type system to the programming language "GOO". Besides the standard functionality, I have allowed the programmer to express some unique relationships between parameterized …
-
A static semantics for labels in OCaml
In this thesis, we are proposing a type system and a type inferencer for the label-feature of OCaml. Labels in OCaml allow the naming of arguments to functions and are intended to document the code. We provide a type system that describes whether a derived type for an OCaml expression containing …
-
Javari : adding reference immutability to Java
… reachable from it by following references. The type system permits explicitly excluding fields from the abstract state of an object. For a statically type-safe language, the type system guarantees reference immutability. The type system is distinguishes the notions of assignability and …
-
Extending the Java language for the prevention of data races
… a language extension for Java that ensures that type-checked programs will be free of race conditions. By adding parameterization to class types, this mostly static type-system allows programmers to write generic object code independent of the concurrency protection mechanism to be used to guard …
-
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
… Twist, the first language that features a type system for sound reasoning about purity. The type system enables the developer to identify pure expressions using type annotations. Twist also features purity assertion operators that state the absence of entanglement in the output of quantum …
-
Type checking and type inference for object-oriented programming languages
Type systems for object-oriented programming languages have been studied a great deal over the past few years. Since Smalltalk was one of the earliest object-oriented languages, it is not surprising that there have been several attempts to provide a type system for it. Unfortunately, none of the …
-
Subtyping in alloy
A type system for the Alloy modelling language is described that supports subtypes and allows overloading of relation names. No special syntactic features needed to be added to the language to support the type system; there are no casts, and the meaning of a model can be understood without …
-
Control and stabilization of kdv-kdv and kp type systems
… and control of several nonlinear dispersive systems, including the Boussinesq KdV-KdV type system, the Hirota-Satsuma system, the Kadomtsev-Petviashvili (KP) equation and its higher-order variant, the Kawahara-KP (K- KP) equation. For the Boussinesq KdV-KdV type system and Hirota-Satsuma …
-
Numerical Methods and Their Analysis for Some Nonlinear Dispersive Equations
… namely, the coupled Schrodinger-Poisson (SP) type system, the Klein-Gordon (KG) equation, the sine-Gordon (SG) and perturbed Schrodinger (PNLS) equations. For SP type system, various numerical methods were compared for ground states calculation and dynamics, in both nonrelativistic and …
-
Practical pluggable types for Java
… Framework, which supports adding pluggable type systems to the Java language in a backward-compatible way. A type system designer defines type qualifiers and their semantics, and a compiler plug-in enforces the semantics. Programmers can write the type qualifiers in their programs and use …
-
Gradual Memory Safety
<p>This paper extends the theory of Gradual Types to include memory safe Region-Types and Region-Based Memory Management. It also makes advancements in the capabilities of Region-Based systems. Lastly, it presents the Svejk language and Hasek Type System.</p>
-
Path Constraints for Databases With or Without Schemas
… in these models are unconstrained by any type system or schema. For the semistructured data model, it is shown that, despite the simple syntax of the constraint language, its associated implication problem is r.e. complete and its finite implication problem is co-r.e. complete. However, in …
-
Converting Java programs to use generic libraries
Java 1.5 will include a type system (called JSR-14) that supports parametric polymorphism, or generic classes. This will bring many benefits to Java programmers, not least because current Java practise makes heavy use of logically-generic classes, including container classes. Translation of Java …
Page 1 of 4