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 5 of 5 for “"computational effects"”.
-
Focusing on Modular Refinement Typing
… good semantic properties even in the presence of computational effects like nontermination and errors. Bidirectional type theories are a reliable way to combine rich type checking and inference. We prove our declarative system is semantically sound for standard mathematical models (domains). We …
-
The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms
… for reasoning about continuations and general computational effects, a sound and complete equational axiomatization of the semantics of call-by-value control operators, a methodology for deriving equational logics for imperative languages, and formal relationships between code generators and …
-
Reasoning about effectful programs and evaluation order
… another relies on some restriction on the side-effects of subprograms. For example, we cannot eliminate a dead computation that raises an exception, or a duplicated computation that prints to the screen. Effect-dependent program transformations can be described formally using effect systems, …
-
Probabilistic completion of nondeterministic models
… work [34] on how monads can be used to capture computational behavior, there has been a growing interest in finding monads which capture the precise computational effects generated when combining the theory of probabilistic choice and the theory of nondeterministic choice. The resulting theory, …
-
Psychotic experiences beyond psychotic disorders: from measurement to computational mechanisms
… the gaps between aetiological factors, their effects on the brain and their behavioural manifestations. In this thesis, I undertook a comprehensive investigation of the measurement, health implications, aetiology and computational mechanisms of PEs in adolescents and young adults using data …