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 8 of 8 for “"effect systems"”.
-
Observations of misovortices within the 7 January 2014 Long Lake-Axis-Parallel lake-effect snow band during the Ontario Winter Lake-effect Systems Project
Recent lake-effect snow field projects in the Eastern Great Lakes region [e.g., the Long Lake-Axis-Parallel (LLAP; 2010-2011) Project and the Ontario Winter Lake-effect Systems (OWLeS; 2013-2014) Project] have revealed the presence of misovortices with diameters between 40 and 4000 m within LLAP …
-
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice because of the large number of annotations that they require. A tool that infers effects automatically can make effect …
-
Reasoning about effectful programs and evaluation order
… optimizations. These transformations are often effect-dependent: replacing one program with 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. …
-
Programming and static analysis with graded monads
… code have long represented impure, side-effecting computation using monads. Recent research in program semantics has focussed on graded monads, a useful generalisation of monads which allow the programmer to establish useful properties of a computation purely from their type of a …
-
Radar observations of misovortices within multiple long-lake-axis-parallel lake-effect bands during the OWLeS project
The Ontario Winter Lake-effect Systems (OWLeS) Project collected a wealth of data on several lake-effect storms in the vicinity of Lake Ontario during the winter of 2013-14. Of all lake-effect band archetypes, long- lake-axis-parallel (LLAP) bands are the most intense, bringing the highest snowfall …
-
An effect system and language for deterministic-by-default parallel programming
… Parallel Java (DPJ). DPJ uses a novel effect system to guarantee determinism by default. That means that parallel programs are guaranteed to execute deterministically unless nondeterminism is explicitly requested. This is in contrast to the shared-memory models in widespread use today, …
-
Integrating sustainability into sports event management and planning: A case study of athletics in New Zealand : A dissertation submitted in partial fulfilment of the requirements for the Degree of Bachelor of Environmental Management with Honours
The increase in environmental awareness has resulted in an increase in the incorporation of sustainability into many different aspects of people's daily lives. Sustainability in sport is a relatively new concept, although one that is gaining momentum, especially in mega or major sporting events. …
-
A mechanistic understanding of the postantibiotic effect and treatment strategies
… antibiotics, and/or use existing drugs more effectively, so as to minimize the chance of resistance emergence. Novel drug development is a time- and resource-intensive process, and pharmaceutical companies are not financially incentivized to develop these types of drugs. Therefore, it is of …