No description available.

No description available.

No description available.

No description available.

No description available.

No description available.

No description available.

No description available.

We present a system for the inference of various static properties from source code written in the Maple programming language. We make use of an abstract interpretation framework in the design of these properties and define languages of constraints specific to our abstract domains which capture the desired static properties of the code. Finally we discuss the automated generation and solution of these constraints, describe a tool for doing so, and present some results from applying this tool to several nontrivial test inputs. / Thesis / Master of Science (MSc)

yes / This paper critically analyzes the fiction-view of scientific modeling, which exploits presumed analogies between literary fiction and model building in science. The basic idea is that in both fiction and scientific modeling fictional worlds are created. The paper argues that the fiction-view comes closest to certain scientific thought experiments, especially those involving demons in science and to literary movements like naturalism. But the paper concludes that the dissimilarities prevail over the similarities. The fiction-view fails to do justice to the plurality of model types used in science; it fails to realize that a function like idealization only makes sense in science because models, unlike works of fiction, can be de-idealized; it fails to distinguish sufficiently between the make-believe (fictional) worlds created in fiction and the hypothetical (as-if) worlds envisaged in models. Representation characterized in the fiction-view as a license to draw inferences does not sufficiently distinguish between inferences in fiction from inferences in scientific modeling. To highlight the contrast the paper proposes to explicate representation in terms of satisfaction of constraints