................................................................................................................. 91 AUTOBIOGRAPHICAL STATEMENT .......................................................................... 93

the present study was an attempt to investigate varieties of cloze test and c-test as measures of reading comprehension ability. it aimed at comparing the performances of subjects on different cloze and c-test forms constructed from the same passage. to this end, five versions of cloze test and two versions of c-test were developed by applying different deletion techniques and deletion rates, a...

“C++ and Object-Oriented Numeric Computing for Scientists and Engineers” is one of the few C++ books targeted toward the scientific community that uses numeric computing as the primary research tool. The book is divided into three parts: the first part introduces the reader to general programming concepts, the second part focuses on the unique aspects of C++ as an object oriented programming la...

An operation on an element container is said to provide a strong guarantee of exception safety if, in case an exception is thrown, the operation leaves the container in the state in which it was before the operation. In this paper, we explore how to adjust operations on C++ standard-library containers to provide the strong guarantee of exception safety, instead of the default guarantee, without...

We describe a number of alternative implementations for the heap functions, which are part of the C++ standard library, and provide a through experimental evaluation of their performance. In our benchmarking framework the heap functions are implemented using the same set of utility functions, the utility functions using the same set of policy functions, and for each implementation alternative o...

We present a set of concepts (requirements on template arguments) for a large subset of the ISO C++ standard library. The goal of our work is twofold: to identify a minimal and useful set of concepts required to constrain the library’s generic algorithms and data structures and to gain insights into how best to support such concepts within C++. We start with the design of concepts rather than t...

We discuss the difference between a formal semantics of the C standard, and a formal semantics of an implementation of C that satisfies the C standard. In this context we extend the CompCert semantics with end-of-array pointers and the possibility to byte-wise copy objects. This is a first and necessary step towards proving that the CompCert semantics refines the formal version of the C standar...

The paper investigates the nonlinear function spaces introduced by Giaquinta, Modica and Souček. It is shown that a function from Cart(Ω,Rm) is approximated by C functions strongly in A(Ω,R) whenever q < p. An example is shown of a function which is in cart(Ω,R) but not in cart(Ω,R).

The Sentential Decision Diagram (SDD) is a canonical representation of Boolean functions. The SDD package, which is distributed as a C library called libsdd, allows users to construct, manipulate and optimize SDDs. This manual describes the basics of the SDD package, meant for users who are interested in immediately constructing SDDs and performing queries on them. An advanced user’s manual is ...